Delete TERM=vt100 from demo Makefile run-cbmc-proofs target

Mark R. Tuttle · markrtuttle · commit bf6dd67e83aa · 2022-03-30T14:53:31.000-04:00
diff --git a/tests/demos/Makefile b/tests/demos/Makefile
@@ -43,7 +43,6 @@ clone:
 build:
 	cd $(REPO_DIR)/$(PROOF_DIR); \
 	    EXTERNAL_SAT_SOLVER= \
-	    TERM=vt100 \
 	    run-cbmc-proofs.py --proofs $(PROOFS)
 
 COMMIT1 = master
