new linew is fine

marklemay · Apr 8, 2024 · 8605c42 · 8605c42
1 parent f12040d
commit 8605c42
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Dynamic/Warning.hs b/src/Dynamic/Warning.hs
@@ -74,9 +74,9 @@ getMsg (EqWarning l info@Info{sr=msr,origL=I origL,origR=I origR} _ r)= let
     origR' = runFreshM $ erase origR
 
 
-  in "possibly mismatched types: <br>\n" ++ 
+  in "possibly mismatched types: \n" ++ 
     (if (show origL', show origR') /= (show l', show r') 
-    then  "  " ++ show origL' ++ " =?= " ++ show origR' ++ "\n ~> <br>\n"
+    then  "  " ++ show origL' ++ " =?= " ++ show origR' ++ "\n ~> \n"
     else "")
     ++ "  " ++ show l' ++ " =?= " ++ show r'
     -- loggg $ lfullshow w