From 6a2997b744a9de512fca78288f59d88b43c43ee8 Mon Sep 17 00:00:00 2001
From: ymh <hanyongming@gmail.com>
Date: Tue, 29 Aug 2023 14:41:42 +0800
Subject: [PATCH] Pretty.hs: fix indentation for joeLibTemplates

---
 lib/haskell/natural4/src/LS/XPile/LogicalEnglish/Pretty.hs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/lib/haskell/natural4/src/LS/XPile/LogicalEnglish/Pretty.hs b/lib/haskell/natural4/src/LS/XPile/LogicalEnglish/Pretty.hs
index fed524b12..7390ba1b7 100644
--- a/lib/haskell/natural4/src/LS/XPile/LogicalEnglish/Pretty.hs
+++ b/lib/haskell/natural4/src/LS/XPile/LogicalEnglish/Pretty.hs
@@ -137,7 +137,7 @@ instance Pretty LEProg where
   pretty :: LEProg -> Doc ann
   pretty MkLEProg{..} =
     
-    let natLangAnnots = endWithDot . nestVsepSeq . punctuate comma . map pretty $ nlas
+    let indentedNLAs = endWithDot . nestVsepSeq . punctuate comma . map pretty $ nlas
                       -- assume list of NLAs is pre-sorted
         prettyLEhcs   = vvsep $ map ((<> dot) . pretty) leHCs
     in
@@ -145,8 +145,8 @@ instance Pretty LEProg where
         the target language is: prolog.
 
         the templates are:
-          #{natLangAnnots}
-          #{joeLibTemplates}
+          #{indentedNLAs}
+          #{nestLE joeLibTemplates}
 
         % Predefined stdlib for translating natural4 -> LE.
         the knowledge base prelude includes: