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;
+}