1 files changed, 1 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index 8b2f87f..1516dac 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,6 @@
 BIN:=pf
 CLM:=clm
-CLMFLAGS:=-b -IL Platform -IL Generics
+CLMFLAGS:=-nr -IL Platform -IL Generics
 
 .PHONY: all clean