* Seal the representation of states

[tatoo.git] / configure.in

diff --git a/configure.in b/configure.in
index 5bcb4c0..297c4e5 100644 (file)
--- a/configure.in
+++ b/configure.in
@@ -168,7 +168,7 @@ fi
 
 #compilation options
 #debugging mode
-OCAMLFLAGS=$OCAMLFLAGS
+OCAMLFLAGS="-principal -warn-error @3 $OCAMLFLAGS"
 CAMLP4FLAGS=$CAMLP4FLAGS
 OCAMLCFLAGS=$OCAMLCFLAGS
 OCAMLOPTFLAGS=$OCAMLOPTFLAGS