From 8372078d07c2b9970f9463d7b96e99ed5f337de7 Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Fri, 14 Dec 2012 16:59:21 +0100
Subject: [PATCH] Corrected minor comment typos.

Conflicts:
	src/prune_theorems.c
---
 src/prune_theorems.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/prune_theorems.c b/src/prune_theorems.c
index c11d7d2..8ba6c51 100644
--- a/src/prune_theorems.c
+++ b/src/prune_theorems.c
@@ -254,7 +254,7 @@ prune_theorems (const System sys)
 	{
 	  indentPrint ();
 	  eprintf
-	    ("Pruned because some local variable was incorrectly subsituted.\n");
+	    ("Pruned because some local variable was incorrectly substituted.\n");
 	}
       return true;
     }
@@ -473,7 +473,7 @@ so technically this is a bug. Don't use.
 	  if (switches.output == PROOF)
 	    {
 	      indentPrint ();
-	      eprintf ("Pruned because intruder can never construnct ");
+	      eprintf ("Pruned because intruder can never construct ");
 	      termPrint (b->term);
 	      eprintf ("\n");
 	    }