Minor

ajreynol · ajreynol · commit c151824fe38f · 2025-04-23T08:48:54.000-05:00
diff --git a/src/cmd_parser.cpp b/src/cmd_parser.cpp
@@ -242,14 +242,13 @@ bool CmdParser::parseNextCommand()
         Expr tup = d_state.mkExpr(Kind::TUPLE, argTypes);
         std::vector<Expr> pargs = Expr::getVariables(tup);
         Expr fv = d_eparser.findFreeVar(ft.second, pargs);
-        Trace("ajr-temp") << "Looking for free variable in " << ft.second << " returned " << fv << std::endl;
         if (!fv.isNull())
         {
           if (ck!=Attr::NONE)
           {
             d_lex.parseError("Ambiguous functions cannot have attributes");
           }
-          else if(!opaqueArgs.empty())
+          else if (!opaqueArgs.empty())
           {
             d_lex.parseError("Ambiguous functions cannot have opaque arguments");
           }

Original file line number	Diff line number	Diff line change
`@@ -242,14 +242,13 @@ bool CmdParser::parseNextCommand()`
`242`	`242`	`Expr tup = d_state.mkExpr(Kind::TUPLE, argTypes);`
`243`	`243`	`std::vector<Expr> pargs = Expr::getVariables(tup);`
`244`	`244`	`Expr fv = d_eparser.findFreeVar(ft.second, pargs);`
`245`		`- Trace("ajr-temp") << "Looking for free variable in " << ft.second << " returned " << fv << std::endl;`
`246`	`245`	`if (!fv.isNull())`
`247`	`246`	`{`
`248`	`247`	`if (ck!=Attr::NONE)`
`249`	`248`	`{`
`250`	`249`	`d_lex.parseError("Ambiguous functions cannot have attributes");`
`251`	`250`	`}`
`252`		`- else if(!opaqueArgs.empty())`
	`251`	`+ else if (!opaqueArgs.empty())`
`253`	`252`	`{`
`254`	`253`	`d_lex.parseError("Ambiguous functions cannot have opaque arguments");`
`255`	`254`	`}`