--- SIMPLE_APPS/Makefile.orig	2019-10-27 09:43:51.000000000 -0600
+++ SIMPLE_APPS/Makefile	2019-10-27 21:15:01.969548850 -0600
@@ -35,7 +35,7 @@ include ../Makefile.services
 
 # Build the test programs
 
-TERM2DAG = term2dag.o ../lib/CLAUSES.a ../lib/TERMS.a  ../lib/ORDERINGS.a ../lib/INOUT.a ../lib/BASICS.a
+TERM2DAG = term2dag.o ../lib/TERMS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/CLAUSES.a ../lib/INOUT.a ../lib/BASICS.a
 
 term2dag: $(TERM2DAG)
 	$(LD) -o term2dag $(TERM2DAG) $(LIBS)