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/SymbolicAst.ml | |
parent | 67131cfdb02a70a97a6a4654c2eaed96cf958164 (diff) |
Make minor modifications
Diffstat (limited to '')
-rw-r--r-- | src/SymbolicAst.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/SymbolicAst.ml b/src/SymbolicAst.ml index 00431ebd..fc2b2fc4 100644 --- a/src/SymbolicAst.ml +++ b/src/SymbolicAst.ml @@ -14,6 +14,7 @@ type call_id = (** A "regular" function (i.e., a function which is not a primitive operation) *) | Unop of E.unop | Binop of E.binop +[@@deriving show, ord] type call = { call_id : call_id; |