diff options
| -rw-r--r-- | utils/clflags.ml | 2 | ||||
| -rw-r--r-- | utils/tbl.ml | 4 |
2 files changed, 4 insertions, 2 deletions
diff --git a/utils/clflags.ml b/utils/clflags.ml index 243e358ec..77d390935 100644 --- a/utils/clflags.ml +++ b/utils/clflags.ml @@ -17,3 +17,5 @@ and nopervasives = ref false (* -nopervasives *) let dump_lambda = ref false (* -dlambda *) and dump_instr = ref false (* -dinstr *) + +let write_lambda = ref false (* -wlambda *) diff --git a/utils/tbl.ml b/utils/tbl.ml index a921b693b..3daf8c1be 100644 --- a/utils/tbl.ml +++ b/utils/tbl.ml @@ -59,13 +59,13 @@ let rec iter f = function open Format let print print_key print_data tbl = - open_hovbox 2; + open_hvbox 2; print_string "[["; iter (fun k d -> open_hovbox 2; print_key k; print_string " ->"; print_space(); print_data d; print_string ";"; - close_box()) + close_box(); print_space()) tbl; print_string "]]"; close_box() |