From c729d13a0087f520f13de352193b75957adf8534 Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Sun, 23 Mar 2008 15:55:51 +0900
Subject: [PATCH] Reindent of the code revealed that some was not indented
 nicely yet. Silly.

---
 src/compiler.c          | 10 +++++-----
 src/intruderknowledge.c |  8 ++++----
 2 files changed, 9 insertions(+), 9 deletions(-)

diff --git a/src/compiler.c b/src/compiler.c
index 676ef4c..06fbc4b 100644
--- a/src/compiler.c
+++ b/src/compiler.c
@@ -2214,9 +2214,9 @@ preprocess (const System sys)
    * Check well-formedness
    */
   /* TODO Temporarily disabled wellformedness check (well-formedness) after Simon bug reporting.
-  if (sys->knowledgedefined)
-    {
-      checkWellFormed (sys);
-    }
-  */
+     if (sys->knowledgedefined)
+     {
+     checkWellFormed (sys);
+     }
+   */
 }
diff --git a/src/intruderknowledge.c b/src/intruderknowledge.c
index f298cfb..b0c0fc9 100644
--- a/src/intruderknowledge.c
+++ b/src/intruderknowledge.c
@@ -116,10 +116,10 @@ void
 initialIntruderKnowledge (const System sys)
 {
   /*
-  TODO this is buggy and leads to a segfault with Simon's example (bug report for wellformedness check)
-  Disabled for now.
-  ./scyther-linux simple-challenge-SEGFAULT.spdl
-  */
+     TODO this is buggy and leads to a segfault with Simon's example (bug report for wellformedness check)
+     Disabled for now.
+     ./scyther-linux simple-challenge-SEGFAULT.spdl
+   */
   return;
 
   /*