diff options
Diffstat (limited to 'src/Tamasheq.ml')
| -rw-r--r-- | src/Tamasheq.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/Tamasheq.ml b/src/Tamasheq.ml index ebd8d7c..d5e17b0 100644 --- a/src/Tamasheq.ml +++ b/src/Tamasheq.ml @@ -144,5 +144,8 @@ let () = List.iter (Printlambda.lambda pp >> Format.print_newline) lambda ; - List.iter (fun l -> ignore @$ eval env [] l) lambda + List.iter (fun l -> ignore @$ eval env [] l) lambda; + + if !denv then + Environment.dump env stderr end |