diff options
Diffstat (limited to 'src/InterpreterExpansion.ml')
| -rw-r--r-- | src/InterpreterExpansion.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/InterpreterExpansion.ml b/src/InterpreterExpansion.ml index 4ccd2ec8..a379fe96 100644 --- a/src/InterpreterExpansion.ml +++ b/src/InterpreterExpansion.ml @@ -637,6 +637,10 @@ let greedy_expand_symbolics_with_borrows (config : C.config) : cm_fun = cf ctx with FoundSymbolicValue sv -> (* Expand and recheck the environment *) + log#ldebug + (lazy + ("greedy_expand_symbolics_with_borrows: about to expand: " + ^ symbolic_value_to_string ctx sv)); let cc : cm_fun = match sv.V.sv_ty with | T.Adt (AdtId def_id, _, _) -> |