From a93b555b1a6662ac7c673d88af6ef5a82ad31a9d Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Mon, 17 Sep 2007 16:53:37 +0200
Subject: [PATCH] Added cast to solve long-standing compilation warning.

Note that the cast does not seem to be needed after manual inspection, but
the compiler insists.
---
 src/arachne.c | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/src/arachne.c b/src/arachne.c
index c11aea0..ee155cf 100644
--- a/src/arachne.c
+++ b/src/arachne.c
@@ -1963,7 +1963,7 @@ attackOutputStart (void)
 	  fclose (attack_stream);	// this automatically discards the old temporary file
 	}
       // Create new file
-      fd = scyther_tempfile ();
+      fd = (FILE *) scyther_tempfile ();
       attack_stream = fd;
       globalStream = (char *) attack_stream;
     }
@@ -2696,3 +2696,14 @@ isTriviallyKnownAfterArachne (const System sys, const Term t, const int run,
   knowledgeDelete (knowset);
   return result;
 }
+
+//! Mark that we have no full proof
+/**
+ * Provides an interface for marking incomplete proofs.
+ * Currently used in mgusubterm in mgu.c
+ */
+void
+markNoFullProof ()
+{
+  sys->current_claim->complete = false;
+}