From 3ef4634493e83bd968cea8ad58346e248fe6d06b Mon Sep 17 00:00:00 2001
From: Refik Hadzialic
Date: Sun, 9 Oct 2011 19:21:23 +0200
Subject: Removed some errors that latex produced because of special
 characters!

---
 notFinishedCode/Report/test.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'notFinishedCode/Report/test.tex')

diff --git a/notFinishedCode/Report/test.tex b/notFinishedCode/Report/test.tex
index 1224bf0..05fa6d9 100644
--- a/notFinishedCode/Report/test.tex
+++ b/notFinishedCode/Report/test.tex
@@ -179,7 +179,7 @@ Full statespace search for:
     assertion violations    +
     cycle checks           - (disabled by -DSAFETY)
     invalid end states    +
-State-vector 44 byte, depth reached 65, ••• errors: 0 •••
+State-vector 44 byte, depth reached 65, errors: 0 
        40 states, stored
         3 states, matched
        43 transitions (= stored+matched)
-- 
cgit v1.2.3-55-g7522

