Pretty.hs: fix indentation for joeLibTemplates

smucclaw · Aug 29, 2023 · 6a2997b · 6a2997b
1 parent dc3e009
commit 6a2997b
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/lib/haskell/natural4/src/LS/XPile/LogicalEnglish/Pretty.hs b/lib/haskell/natural4/src/LS/XPile/LogicalEnglish/Pretty.hs
@@ -137,16 +137,16 @@ 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
       [__di|
         the target language is: prolog.
 
         the templates are:
-          #{natLangAnnots}
-          #{joeLibTemplates}
+          #{indentedNLAs}
+          #{nestLE joeLibTemplates}
 
         % Predefined stdlib for translating natural4 -> LE.
         the knowledge base prelude includes: