diff options
| author | Sidney Congard | 2022-08-10 18:56:25 +0200 |
|---|---|---|
| committer | Sidney Congard | 2022-08-10 18:56:25 +0200 |
| commit | cd754eabe3af025ca3465c5fc6d8cb48da66a1ae (patch) | |
| tree | 34d1af8d8413d3e28ae779b2ff5c9e911f573e93 /src/InterpreterBorrows.ml | |
| parent | 3c5fb260012ee8bb8b9fd90bc4624d893ac7678a (diff) | |
Corrected translation without using functions, remaining bug in hashmap translation
Diffstat (limited to 'src/InterpreterBorrows.ml')
| -rw-r--r-- | src/InterpreterBorrows.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/InterpreterBorrows.ml b/src/InterpreterBorrows.ml index a13ac786..6b920a51 100644 --- a/src/InterpreterBorrows.ml +++ b/src/InterpreterBorrows.ml @@ -436,7 +436,7 @@ let give_back_symbolic_value (_config : C.config) assert (sv.sv_id <> nsv.sv_id); (match nsv.sv_kind with | V.SynthInputGivenBack | V.SynthRetGivenBack | V.FunCallGivenBack -> () - | V.FunCallRet | V.SynthInput -> failwith "Unrechable"); + | V.FunCallRet | V.SynthInput | V.Global -> failwith "Unrechable"); (* Store the given-back value as a meta-value for synthesis purposes *) let mv = nsv in (* Substitution function, to replace the borrow projectors over symbolic values *) |