- Some misc fixes.

This commit is contained in:
ccremers 2006-08-02 09:46:57 +00:00
parent 3475896536
commit 82869fb583
2 changed files with 1 additions and 2 deletions

View File

@ -1247,7 +1247,7 @@ printRunConstants (const System sys, const int run)
//! Explain a run in two lines //! Explain a run in two lines
void void
printRunExplanation (const System sys, const int run, printRunExplanation (const System sys, const int run,
char *runrolesep, const char *newline) char *runrolesep, char *newline)
{ {
int hadcontent; int hadcontent;

View File

@ -2,7 +2,6 @@
#include <stdio.h> #include <stdio.h>
#include "term.h" #include "term.h"
#include "termlist.h" #include "termlist.h"
#include "substitution.h"
#include "mgu.h" #include "mgu.h"
#include "type.h" #include "type.h"
#include "debug.h" #include "debug.h"