diff options
| author | Son HO | 2023-12-07 15:02:44 +0100 |
|---|---|---|
| committer | GitHub | 2023-12-07 15:02:44 +0100 |
| commit | d4ebd6c1f0ba150e5e52d812d361189c89e43695 (patch) | |
| tree | 4b3fa3d48c86ba379c78d01fca88d2084c2678c2 /compiler/Interpreter.ml | |
| parent | 9eb117dc9e94d1b04d24c87d278d014f456b2d89 (diff) | |
| parent | 613496f6c76b3f8c7211ef5bc98e3cc170e45ed1 (diff) | |
Merge pull request #49 from AeneasVerif/son_merge_back
Allow the extraction of structures as tuples
Diffstat (limited to '')
| -rw-r--r-- | compiler/Interpreter.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/Interpreter.ml b/compiler/Interpreter.ml index 4ecafd31..76432faa 100644 --- a/compiler/Interpreter.ml +++ b/compiler/Interpreter.ml @@ -206,7 +206,7 @@ let initialize_symbolic_context_for_fun (ctx : decls_ctx) (fdef : fun_decl) : in (* Create fresh symbolic values for the inputs *) let input_svs = - List.map (fun ty -> mk_fresh_symbolic_value SynthInput ty) inst_sg.inputs + List.map (fun ty -> mk_fresh_symbolic_value ty) inst_sg.inputs in (* Initialize the abstractions as empty (i.e., with no avalues) abstractions *) let call_id = fresh_fun_call_id () in |