fix 009

JetBrains-Research · Oct 21, 2024 · e21f7f0 · e21f7f0
1 parent 35d7203
commit e21f7f0
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/Bench/009-rolling-max.py b/Bench/009-rolling-max.py
@@ -3,8 +3,12 @@
 
 @Pure
 def getVal(mx: Optional[int]) -> int:
-    Requires(mx is not None)  
-    return mx  
+    # pre-conditions-start
+    Requires(mx is not None)
+    # pre-conditions-end
+    # impl-start
+    return mx
+    # impl-end
 
 def rolling_max(numbers: List[int]) -> List[int]:
     # pre-conditions-start