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

Reindent.

Browse Source
This commit is contained in:
Cas Cremers
2018-12-24 13:37:16 +01:00
parent d4bdd920f9
commit 61a1b862ea
3 changed files with 8 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/knowledge.c
View File

@@ -359,9 +359,9 @@ knowledgePrintShort (const Knowledge know)
{ {
termlistPrint (know->basic); termlistPrint (know->basic);
if (know->encrypt != NULL) if (know->encrypt != NULL)
{ {
eprintf (", "); eprintf (", ");
} }
} }
if (know->encrypt != NULL) if (know->encrypt != NULL)
{ {

2
src/regression-tests/results/test-testing-ksl.spdl -r3 --timer=60 --plain.time Normal file
View File

@@ -0,0 +1,2 @@
Passed wall time in seconds:
0

6
src/system.c
View File

@@ -1164,9 +1164,9 @@ iterateLocalToOther (const System sys, const int myrun,
tt = tls->term; tt = tls->term;
if (realTermVariable (tt) && tt->subst != NULL) if (realTermVariable (tt) && tt->subst != NULL)
{ {
iterateTermOther (myrun, tt->subst, addOther, &State); iterateTermOther (myrun, tt->subst, addOther, &State);
} }
} }
// now iterate over all of them // now iterate over all of them
for (tls = State.tlo; flag && (tls != NULL); tls = tls->next) for (tls = State.tlo; flag && (tls != NULL); tls = tls->next)