diff options
Diffstat (limited to 'src/InterpreterUtils.ml')
| -rw-r--r-- | src/InterpreterUtils.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/InterpreterUtils.ml b/src/InterpreterUtils.ml index e00e7dcf..ca437593 100644 --- a/src/InterpreterUtils.ml +++ b/src/InterpreterUtils.ml @@ -81,6 +81,8 @@ let mk_typed_value_from_symbolic_value (svalue : V.symbolic_value) : Checks if the projector will actually project some regions. If not, returns [AIgnored] (`_`). + + TODO: update to handle 'static *) let mk_aproj_loans_value_from_symbolic_value (regions : T.RegionId.Set.t) (svalue : V.symbolic_value) : V.typed_avalue = |