From 61a1b862ea476a44b855fb22702eea3ab9020265 Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Mon, 24 Dec 2018 13:37:16 +0100
Subject: [PATCH] Reindent.

---
 src/knowledge.c                                             | 6 +++---
 .../test-testing-ksl.spdl -r3 --timer=60 --plain.time       | 2 ++
 src/system.c                                                | 6 +++---
 3 files changed, 8 insertions(+), 6 deletions(-)
 create mode 100644 src/regression-tests/results/test-testing-ksl.spdl -r3 --timer=60 --plain.time

diff --git a/src/knowledge.c b/src/knowledge.c
index 66bde5e..255790b 100644
--- a/src/knowledge.c
+++ b/src/knowledge.c
@@ -359,9 +359,9 @@ knowledgePrintShort (const Knowledge know)
     {
       termlistPrint (know->basic);
       if (know->encrypt != NULL)
-      {
-	eprintf (", ");
-      }
+	{
+	  eprintf (", ");
+	}
     }
   if (know->encrypt != NULL)
     {
diff --git a/src/regression-tests/results/test-testing-ksl.spdl -r3 --timer=60 --plain.time b/src/regression-tests/results/test-testing-ksl.spdl -r3 --timer=60 --plain.time
new file mode 100644
index 0000000..80f32ca
--- /dev/null
+++ b/src/regression-tests/results/test-testing-ksl.spdl -r3 --timer=60 --plain.time	
@@ -0,0 +1,2 @@
+Passed wall time in seconds:
+0
diff --git a/src/system.c b/src/system.c
index e3b564c..46d7c67 100644
--- a/src/system.c
+++ b/src/system.c
@@ -1164,9 +1164,9 @@ iterateLocalToOther (const System sys, const int myrun,
 
       tt = tls->term;
       if (realTermVariable (tt) && tt->subst != NULL)
-      {
-	iterateTermOther (myrun, tt->subst, addOther, &State);
-      }
+	{
+	  iterateTermOther (myrun, tt->subst, addOther, &State);
+	}
     }
   // now iterate over all of them
   for (tls = State.tlo; flag && (tls != NULL); tls = tls->next)