From 8402da6d5eda4afe63b46a32648dd5b8f7f9b9ec Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Sun, 26 Mar 2023 14:45:32 +0200
Subject: [PATCH] dimeq test printing fix

---
 tests/Tests/DimEq.idr | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/tests/Tests/DimEq.idr b/tests/Tests/DimEq.idr
index d21b451..ecebc5e 100644
--- a/tests/Tests/DimEq.idr
+++ b/tests/Tests/DimEq.idr
@@ -16,9 +16,9 @@ import Data.So
 
 private
 prettyDimEq' : {default Arg prec : PPrec} -> NContext d -> DimEq d -> Doc HL
-prettyDimEq' ds eqs = case ds of
-  [<] => "·"
-  _   => runPrettyWith False (toSnocList' ds) [<] $ withPrec prec $ prettyM eqs
+prettyDimEq' [<] (C _) = "·"
+prettyDimEq' ds eqs =
+  runPrettyWith False (toSnocList' ds) [<] $ withPrec prec $ prettyM eqs
 
 private
 testPrettyD : NContext d -> DimEq d -> (str : String) ->