From 97fd63154cf8be9e12f1919c40eb6bc949c4c704 Mon Sep 17 00:00:00 2001 From: Alon Zakai Date: Mon, 29 Aug 2022 08:50:05 -0700 Subject: Remvoe extra space after rec beginning (#4981) --- src/passes/Print.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/passes/Print.cpp b/src/passes/Print.cpp index 7385c18ea..5fb17af76 100644 --- a/src/passes/Print.cpp +++ b/src/passes/Print.cpp @@ -3253,7 +3253,7 @@ struct PrintSExpression : public UnifiedExpressionVisitor { nontrivialGroup = currGroup->size() > 1; if (nontrivialGroup) { doIndent(o, indent); - o << "(rec "; + o << "(rec"; incIndent(); } } -- cgit v1.2.3