diff options
| author | Son Ho | 2023-12-05 17:50:38 +0100 |
|---|---|---|
| committer | Son Ho | 2023-12-05 17:50:38 +0100 |
| commit | eb05c2e3b63377c323c33c1296495baa9357596a (patch) | |
| tree | 95cde0e6b1edd06110fbde8a714aaa12811be2f1 /compiler/Interpreter.ml | |
| parent | 4795e5f823bc89504855d8eb946b111d9314f4d5 (diff) | |
Remove the type sv_kind ("symbolic value kind")
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 |