1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index ac37c8685e..a125590906 100644
--- a/Makefile
+++ b/Makefile
@@ -74,7 +74,7 @@ LOCALINCLUDES=-I config -I tools -I tools/coqdoc \
 MLINCLUDES=$(LOCALINCLUDES) -I $(MYCAMLP4LIB)
 
 BYTEFLAGS=$(MLINCLUDES) $(CAMLDEBUG) $(USERFLAGS)
-OPTFLAGS=$(MLINCLUDES) $(CAMLTIMEPROF) $(USERFLAGS) -noassert
+OPTFLAGS=$(MLINCLUDES) $(CAMLTIMEPROF) $(USERFLAGS)
 OCAMLDEP=ocamldep
 DEPFLAGS=$(LOCALINCLUDES)