Commits

Paweł Wieczorek committed 28b1f21

minor

Comments (0)

Files changed (1)

src/Language/CWCPS/CWCPS_Util.ml

             _show_real_value (ht, mpath) v
 
 and _show_environment mem environment =
-    (*
     Environment.PrettyPrinter.show_environment _show_value update_mem mem environment
-    *)
-    raise Exit
 
 
 let show_value v = _show_value (Hashtbl.create 127, ["@"]) v