andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Added cast to solve long-standing compilation warning.

Browse Source 
Note that the cast does not seem to be needed after manual inspection, but
the compiler insists.
This commit is contained in:
Cas Cremers 2007-09-17 16:53:37 +02:00
parent ab7d37fca2
commit a93b555b1a
1 changed files with 12 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
src/arachne.c
View File

@ -1963,7 +1963,7 @@ attackOutputStart (void)
fclose (attack_stream); // this automatically discards the old temporary file fclose (attack_stream); // this automatically discards the old temporary file
} }
// Create new file // Create new file
fd = scyther_tempfile (); fd = (FILE *) scyther_tempfile ();
attack_stream = fd; attack_stream = fd;
globalStream = (char *) attack_stream; globalStream = (char *) attack_stream;
} }
@ -2696,3 +2696,14 @@ isTriviallyKnownAfterArachne (const System sys, const Term t, const int run,
knowledgeDelete (knowset); knowledgeDelete (knowset);
return result; 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;
}