fixed a bug in the pretty-printer that was putting unnecessary parent…

…heses around the arguments of applications
GaloisInc · May 25, 2018 · a5eb258 · a5eb258
1 parent 3eb5c4d
commit a5eb258
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Verifier/SAW/Term/Pretty.hs b/src/Verifier/SAW/Term/Pretty.hs
@@ -448,7 +448,7 @@ ppFlatTermF prec tf =
 ppTermF :: Prec -> TermF Term -> PPM Doc
 ppTermF prec (FTermF ftf) = ppFlatTermF prec ftf
 ppTermF prec (App e1 e2) =
-  ppAppList prec <$> ppTerm' PrecArg e1 <*> mapM (ppTerm' PrecArg) [e2]
+  ppAppList prec <$> ppTerm' PrecApp e1 <*> mapM (ppTerm' PrecArg) [e2]
 ppTermF prec (Lambda x tp body) =
   ppParensPrec prec PrecLambda <$>
   (ppLambda <$> ppTerm' PrecApp tp <*> ppTermInBinder PrecLambda x body)