cleanup2

swarm-game · Jan 1, 2023 · 5e682d8 · 5e682d8
1 parent 6d60302
commit 5e682d8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/src/Swarm/Game/Scenario/Objective/Graph.hs b/src/Swarm/Game/Scenario/Objective/Graph.hs
@@ -1,5 +1,4 @@
 {-# LANGUAGE DeriveAnyClass #-}
-{-# LANGUAGE OverloadedStrings #-}
 {-# OPTIONS_GHC -fno-warn-orphans #-}
 
 module Swarm.Game.Scenario.Objective.Graph where

diff --git a/test/unit/TestBoolExpr.hs b/test/unit/TestBoolExpr.hs
@@ -81,11 +81,11 @@ testBoolExpr =
     , testGroup
         "Prerequisite expressions"
         [ testCase
-            "Invalidating result"
+            "A negated goal is completed"
             $ assertBool "Should have returned true"
             $ WC.isUnwinnablePrereq (Set.singleton "b") demoPrereqs
         , testCase
-            "Invalidating result"
+            "A non-negated goal is completed"
             $ assertBool "Should have returned false"
             $ not
             $ WC.isUnwinnablePrereq (Set.singleton "c") demoPrereqs