[r2003-03-07 19:06:05 by cvscast] Empty log message

Original author: cvscast Date: 2003-03-07 19:06:05+00:00

[r2003-03-07 19:06:05 by cvscast] Empty log message
Original author: cvscast Date: 2003-03-07 19:06:05+00:00
1826e985 · Pietro Abate · 59c2242e · 1826e985
Commit 1826e985 authored Oct 05, 2007 by Pietro Abate
--- a/types/types.ml
+++ b/types/types.ml
@@ -615,7 +615,7 @@ and empty_rec_record c =
 (*
 let is_empty d =
  empty_rec d
-*)
+  *)

 let non_empty d = 
  not (is_empty d)