From: Brian Norris <banorris@uci.edu>
Date: Mon, 21 May 2012 17:52:46 +0000 (-0700)
Subject: main: clear out redundant comments
X-Git-Tag: pldi2013~412
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=c33dc352b7abbea5c4be83b6a2e82a4088d9b108;p=model-checker.git

main: clear out redundant comments

We don't really need these. I can read the source :)
---

diff --git a/main.cc b/main.cc
index 5d036f2..741ef77 100644
--- a/main.cc
+++ b/main.cc
@@ -78,5 +78,5 @@ int main(int numargs, char ** args) {
 	main_args=args;
 
 	/* Let's jump in quickly and start running stuff */
-	initSnapShotLibrary(10000 /*int numbackingpages*/, 1024 /*unsigned int numsnapshots*/, 1024 /*unsigned int nummemoryregions*/ , 1000 /*int numheappages*/, &real_main /*MyFuncPtr entryPoint*/);
+	initSnapShotLibrary(10000, 1024, 1024, 1000, &real_main);
 }