From 54214ed10c68f7fa8526802fc470d76c83e22a37 Mon Sep 17 00:00:00 2001
From: Joscha <joscha@plugh.de>
Date: Mon, 14 Dec 2020 00:18:57 +0000
Subject: [PATCH] Properly display the empty list

---
 src/Propa/Prolog/Display.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Propa/Prolog/Display.hs b/src/Propa/Prolog/Display.hs
index ff07066..433dfc7 100644
--- a/src/Propa/Prolog/Display.hs
+++ b/src/Propa/Prolog/Display.hs
@@ -29,6 +29,7 @@ displayName name
       ]
 
 displayStat :: Stat T.Text -> T.Text
+displayStat (Stat "[]" []) = "[]"
 displayStat (Stat "[|]" [a, b]) = "[" <> displayTerm a <> displayList b
 displayStat (Stat name []) = displayName name
 displayStat (Stat name args)