1--- rand.h.orig 2016-06-30 09:38:55 UTC 2+++ rand.h 3@@ -1,11 +1,11 @@ 4 #ifndef RAND_H 5 #define RAND_H 6 7-using namespace std; 8 #include "port.h" 9 #include <string> 10 #include <stdio.h> 11 #include <stdlib.h> 12+using namespace std; 13 14 class Rand 15 { 16 17