whitespace

LeventErkok · Nov 14, 2024 · bb74c46 · bb74c46
1 parent 6275389
commit bb74c46
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Data/SBV/Core/Symbolic.hs b/Data/SBV/Core/Symbolic.hs
@@ -1533,7 +1533,7 @@ registerLabel whence st nm
 registerSpecialFunction :: State -> Op -> IO ()
 registerSpecialFunction st o =
   do progInfo <- readIORef (rProgInfo st)
-     let upd  p@ProgInfo{progSpecialFuncs} = p{progSpecialFuncs = o : progSpecialFuncs}
+     let upd p@ProgInfo{progSpecialFuncs} = p{progSpecialFuncs = o : progSpecialFuncs}
      when (o `notElem` progSpecialFuncs progInfo) $ modifyState st rProgInfo upd (pure ())
 
 -- | Create a new constant; hash-cons as necessary