diff --git a/config/drivers/pyrat.drv b/config/drivers/pyrat.drv
index b57490ab7c1fc0cea9b906c34688db5aea23d593..4cb678e43f3b0b12a4afd479319d1aec51935d65 100644
--- a/config/drivers/pyrat.drv
+++ b/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