Bug with time instrumentation code.

diff --git a/Repair/RepairCompiler/MCC/IR/RepairGenerator.java b/Repair/RepairCompiler/MCC/IR/RepairGenerator.java
index 5d64040d50073b70b3df9c25d92beefb511a3ed7..06252cd6764a4484bc88edca126e7a5f6b8f4288 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/RepairGenerator.java
+++ b/Repair/RepairCompiler/MCC/IR/RepairGenerator.java
@@ -387,6 +387,9 @@ public class RepairGenerator {
        crhead.outputline("~"+name+"();");
         craux.outputline("#include \""+headername+"\"");
         craux.outputline("#include \"size.h\"");
+       if (Compiler.TIME) {
+           craux.outputline("#include <sys/time.h>");
+       }
        if (Compiler.ALLOCATECPLUSPLUS) {
            for(Iterator it=state.stTypes.descriptors();it.hasNext();) {
                TypeDescriptor td=(TypeDescriptor)it.next();
@@ -528,7 +531,7 @@ public class RepairGenerator {
        cr.endblock();
        if (Compiler.TIME) {
            cr.outputline("gettimeofday(&_end_time,NULL);");
-           cr.outputline("printf(\"time=%ld uS\\n\",(_end_time.tv_sec-_begin_time.tv_sec)*1000000+_end_time.tv_usec-_begin_time.tv_usec)");
+           cr.outputline("printf(\"time=%ld uS\\n\",(_end_time.tv_sec-_begin_time.tv_sec)*1000000+_end_time.tv_usec-_begin_time.tv_usec);");
        }
 
        if (Compiler.GENERATEINSTRUMENT) {