Correct comment

runtimeverification · Aug 5, 2024 · 8c9f9d9 · 8c9f9d9
1 parent 10f6b18
commit 8c9f9d9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/booster/library/Booster/JsonRpc.hs b/booster/library/Booster/JsonRpc.hs
@@ -166,7 +166,7 @@ respond stateVar request =
 
                         case evaluatedInitialPattern of
                             (Left ApplyEquations.SideConditionFalse{}, _) -> do
-                                -- input pattern's constrains are Bottom, return Bottom
+                                -- input pattern's constraints are Bottom, return Vacuous
                                 stop <- liftIO $ getTime Monotonic
                                 pure $
                                     execResponse