[PyRAT] Remove useless spacing for lt and gt operators in driver.

config/drivers/pyrat.drv

@@ -137,9 +137,9 @@ theory ieee_float.Float64
   syntax function (.-_) "(-%1)"
 
   syntax predicate le "%1 <= %2"
-  syntax predicate lt  "%1 <  %2"
+  syntax predicate lt "%1 < %2"
   syntax predicate ge "%1 >= %2"
-  syntax predicate gt  "%1 >  %2"
+  syntax predicate gt "%1 > %2"
 
 
 end