- some commutations between the rt-steps and the s-steps proved

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / rt_transition / hls.ml

diff --git a/matita/matita/contribs/lambdadelta/basic_2/rt_transition/hls.ml b/matita/matita/contribs/lambdadelta/basic_2/rt_transition/hls.ml
index 01f59045d18adb38f6dd3652f8002996ac2f282d..d796a4a66c8293d076d36a75083540aeb3e810fc 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/rt_transition/hls.ml
+++ b/matita/matita/contribs/lambdadelta/basic_2/rt_transition/hls.ml
@@ -1,4 +1,6 @@
-let cols = int_of_string (Sys.getenv "COLUMNS")
+let cols =
+   try int_of_string (Sys.getenv "COLUMNS")
+   with Not_found -> failwith "environment variable COLUMNS not visible"
 
 let hl = ref []
 
@@ -52,3 +54,4 @@ let main =
    Array.fast_sort compare files;
    let c = Array.fold_left (write l) 0 files in
    if 0 < c && c < cols then print_newline ();
+