1 files changed, 6 insertions, 0 deletions
diff --git a/postrun.cpp b/postrun.cpp
index eda3714..2c3c97f 100644
--- a/postrun.cpp
+++ b/postrun.cpp
@@ -2,6 +2,7 @@
 #include <fstream>
 #include <vector>
 #include <string>
+#include <sys/time.h>
 
 #include "runtime.h"
 
@@ -32,6 +33,11 @@ int main(int argc,char **argv){
 		cerr<<"Could not open file '"<<argv[1]<<"'"<<endl;
 		return 1;
 	}
+
+	struct timeval tv;
+	gettimeofday(&tv,NULL);
+	srand(tv.tv_sec*1000000+tv.tv_usec);
+
 	//string source=readfile(srcf);
 	try {
 		const vector<string> tokens=tokenise(srcf);