diff options
| author | Son Ho | 2022-01-24 07:45:46 +0100 |
|---|---|---|
| committer | Son Ho | 2022-01-24 07:45:46 +0100 |
| commit | 3f10869014d639199fc18df661c3faf3b90e6462 (patch) | |
| tree | 304ac5e3b7e9475496a16d5819abf427483f760f /src/CfimAst.ml | |
| parent | 67131cfdb02a70a97a6a4654c2eaed96cf958164 (diff) | |
Make minor modifications
Diffstat (limited to 'src/CfimAst.ml')
| -rw-r--r-- | src/CfimAst.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/CfimAst.ml b/src/CfimAst.ml index 6d8c03e4..57122a51 100644 --- a/src/CfimAst.ml +++ b/src/CfimAst.ml @@ -17,10 +17,10 @@ type var = { (** A variable, as used in a function definition *) type assumed_fun_id = BoxNew | BoxDeref | BoxDerefMut | BoxFree -[@@deriving show] +[@@deriving show, ord] type fun_id = Local of FunDefId.id | Assumed of assumed_fun_id -[@@deriving show] +[@@deriving show, ord] type assertion = { cond : operand; expected : bool } [@@deriving show] |