Remove pretty-timed option from Makefile as it requires Python 2 and …

…I dont want to make it a requirement for the artifact
logsem · Jan 3, 2022 · 920d14f · 920d14f
1 parent 75a0aae
commit 920d14f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -30,7 +30,7 @@ full-abstraction: Makefile.coq
 	$(MAKE) -f Makefile.coq only TGTS="theories/full_abstraction.vo"
 
 coq: Makefile.coq
-	$(MAKE) -f Makefile.coq pretty-timed
+	$(MAKE) -f Makefile.coq
 
 html: Makefile.coq
 	rm -rf html