diff options
Diffstat (limited to 'src/SymbolicAst.ml')
| -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 45cdc4b2..9dc20468 100644 --- a/src/SymbolicAst.ml +++ b/src/SymbolicAst.ml @@ -18,6 +18,7 @@ type call_id = type call = { call_id : call_id; + abstractions : V.AbstractionId.id list; type_params : T.ety list; args : V.typed_value list; dest : V.symbolic_value; |