From 82869fb5834825e48b3aafef3c3bed9194032d95 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Wed, 2 Aug 2006 09:46:57 +0000
Subject: [PATCH] - Some misc fixes.

---
 src/dotout.c | 2 +-
 src/mgu.c    | 1 -
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/dotout.c b/src/dotout.c
index 4c9597e..456e321 100644
--- a/src/dotout.c
+++ b/src/dotout.c
@@ -1247,7 +1247,7 @@ printRunConstants (const System sys, const int run)
 //! Explain a run in two lines
 void
 printRunExplanation (const System sys, const int run,
-		     char *runrolesep, const char *newline)
+		     char *runrolesep, char *newline)
 {
   int hadcontent;
 
diff --git a/src/mgu.c b/src/mgu.c
index 343afac..542c444 100644
--- a/src/mgu.c
+++ b/src/mgu.c
@@ -2,7 +2,6 @@
 #include <stdio.h>
 #include "term.h"
 #include "termlist.h"
-#include "substitution.h"
 #include "mgu.h"
 #include "type.h"
 #include "debug.h"