X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=eprecord.cc;fp=eprecord.cc;h=a87167eacd546be5d87c7c856324b87ce2630bf6;hb=086658309f67c28dc254b06bda5bafa8c3e191d6;hp=a11d2d6d11e0b2b5c1f6bfdb6f3a2c73d515ad83;hpb=5f3838b041321eb417737eed51c8639266c0d77c;p=satcheck.git

diff --git a/eprecord.cc b/eprecord.cc
index a11d2d6..a87167e 100644
--- a/eprecord.cc
+++ b/eprecord.cc
@@ -191,7 +191,7 @@ void EPRecord::print(int f) {
 		delete it;
 	}
 
-	
+
 	execpoint->print(f);
 }