simplify

LeventErkok · Feb 4, 2025 · 1aa6cf8 · 1aa6cf8
1 parent 1d79048
commit 1aa6cf8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Data/SBV/Tools/KD/KnuckleDragger.hs b/Data/SBV/Tools/KD/KnuckleDragger.hs
@@ -705,7 +705,7 @@ instance ChainStep a a where
 
 -- | Start reasoning for the calculational proof.
 (<:) :: a -> [ProofStep a] -> [ProofStep a]
-a <: b = ProofStep a [] =: b
+a <: b = ProofStep a [] : b
 infixr 1 <:
 
 -- | Mark the end of a calculational proof.