Trailing whitespace fix

test/testsuite/functional_test/7_euclides.cvc

@@ -10,10 +10,10 @@ extern void printNewlines( int num);
 export int main() {
     int a = scanInt();
     int b = scanInt();
-    int gcd() 
+    int gcd()
 	{
         int t;
-        while(b != 0) 
+        while(b != 0)
 		{
             t = b;
             b = a % b;