From 180d00ff4116ad67f938d138ca443f839f9a33c7 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Wed, 2 Aug 2006 09:50:21 +0000
Subject: [PATCH] - Fully removed substitutions.h artefacts.

---
 src/compiler.c | 1 -
 src/mgu.h      | 1 -
 2 files changed, 2 deletions(-)

diff --git a/src/compiler.c b/src/compiler.c
index d0d353e..e0a5eca 100644
--- 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"
diff --git a/src/mgu.h b/src/mgu.h
index ded4e12..dbe509d 100644
--- 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.
 /**