- Fully removed substitutions.h artefacts.

2006-08-02 09:50:21 +00:00 · 2006-08-02 09:50:21 +00:00 · 180d00ff41
commit 180d00ff41
parent b0a0b5cdfa
2 changed files with 0 additions and 2 deletions
--- a/src/compiler.c
+++ b/src/compiler.c
@ -8,7 +8,6 @@
 #include "system.h"
 #include "knowledge.h"
 #include "symbol.h"
-#include "substitution.h"
 #include "compiler.h"
 #include "switches.h"
 #include "specialterm.h"
--- a/src/mgu.h
+++ b/src/mgu.h
@ -3,7 +3,6 @@

 #include "term.h"
 #include "termlist.h"
-#include "substitution.h"

 //! A special constant do denote failure.
 /**