Don't check dk_int for confluence (checker's answer is MAYBE)

c8138f22 · Raphaël Cauderlier · f705f9f5 · c8138f22
Commit c8138f22 authored Aug 26, 2015 by Raphaël Cauderlier
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 0 deletions

Makefile Makefile +3 -0

No files found.
--- a/Makefile
+++ b/Makefile
@@ -26,6 +26,9 @@ dk_monads_coc.dko:
 dk_binary_nat.dko:
 	$(DKCHECK) -e $(DKCHECK_OPTIONS) $<

+# so is dk_int
+dk_int.dko:
+	$(DKCHECK) -e $(DKCHECK_OPTIONS) $<


 # foo.dk.depend lists the modules foo depends on