diff options
Diffstat (limited to 'src/Interpreter.ml')
| -rw-r--r-- | src/Interpreter.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Interpreter.ml b/src/Interpreter.ml index d3e30519..463ad447 100644 --- a/src/Interpreter.ml +++ b/src/Interpreter.ml @@ -70,7 +70,7 @@ module Test = struct let type_params = List.map (fun tv -> T.TypeVar tv.T.index) sg.type_params in - let ctx, inst_sg = instantiate_fun_sig type_params sg ctx in + let inst_sg = instantiate_fun_sig type_params sg ctx in (* Create fresh symbolic values for the inputs *) let input_svs = List.map |