From bb16300d5269103ad3b229ea9ac792a1902bf9fc Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Tue, 11 Jan 2022 12:28:13 +0100
Subject: [PATCH] [PyRAT] Remove useless spacing for lt and gt operators in
 driver.

---
 config/drivers/pyrat.drv | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/config/drivers/pyrat.drv b/config/drivers/pyrat.drv
index b57490ab..4cb678e4 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
-- 
GitLab