Introduce dummy variables and update assign_to_place

1 files changed, 3 insertions, 1 deletions

diff --git a/src/Print.ml b/src/Print.ml
index 5ae722b9..4dbe30f7 100644
--- a/src/Print.ml
+++ b/src/Print.ml
@@ -455,7 +455,9 @@ module Contexts = struct
       (indent_incr : string) (ev : C.env_elem) : string =
     match ev with
     | Var (var, tv) ->
-        indent ^ binder_to_string var ^ " -> "
+        indent
+        ^ option_to_string binder_to_string var
+        ^ " -> "
         ^ PV.typed_value_to_string fmt tv
         ^ " ;"
     | Abs abs -> PV.abs_to_string fmt indent indent_incr abs