ClabureDB: Classified Bug-Reports Database

     deactivatePump();
     }
   } else {
 
   }
 #line 71
   systemActive = 0;
 #line 310 "MinePump.c"
   return;
 }
 }
 #line 73 "MinePump.c"
 void startSystem(void) 
 { 
 
   {
 #line 75
   systemActive = 1;
 #line 330 "MinePump.c"
   return;
 }
 }
 #line 1 "wsllib_check.o"
 #pragma merger(0,"wsllib_check.i","")
 #line 3 "wsllib_check.c"
 void __automaton_fail(void) 
 { 
 
   {
   goto ERROR;
   ERROR: ;
 #line 53 "wsllib_check.c"
   return;
 }
 }
 #line 1 "Environment.o"
 #pragma merger(0,"Environment.i","")
 #line 12 "Environment.h"
 int getWaterLevel(void) ;
 #line 9 "Environment.c"
 int waterLevel  =    1;