1 files changed, 8 insertions, 8 deletions
diff --git a/data/property/cnes/STD_04800.pro b/data/property/cnes/STD_04800.pro
index 8f998e4..5f9e817 100644
--- a/data/property/cnes/STD_04800.pro
+++ b/data/property/cnes/STD_04800.pro
@@ -13,14 +13,14 @@
                )
             )
          )
-         (exists ps_fe process
-            (CTL_verifies ps_fe
-               (EF
-                  (and
-                     (is_read_structure "(??)")
-                     (is_read_element "0" "falling_edge")
-                     (is_read_element "1" wfm)
-                  )
+      )
+      (exists ps_fe process
+         (CTL_verifies ps_fe
+            (EF
+               (and
+                  (is_read_structure "(??)")
+                  (is_read_element "0" "falling_edge")
+                  (is_read_element "1" wfm)
                )
             )
          )