Holmakefile fix in translator

However translator doesn't appear at on this branch at the moment.
useada · Jul 8, 2015 · 04eb4c1 · 04eb4c1
1 parent 1e9be86
commit 04eb4c1
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/translator/Holmakefile b/translator/Holmakefile
@@ -14,7 +14,6 @@ all: $(TARGETS) $(HOLHEAP)
 
 PRE_BARE_THYS1 = astTheory \
 		tokensTheory \
-		libTheory \
 		initialProgramTheory \
 		semanticPrimitivesTheory