diff --git a/lib/pddlparse/include/pddlparse/ASTOutput.h b/lib/pddlparse/include/pddlparse/ASTOutput.h
index 3030b56..f5fcef4 100644
--- a/lib/pddlparse/include/pddlparse/ASTOutput.h
+++ b/lib/pddlparse/include/pddlparse/ASTOutput.h
@@ -301,15 +301,8 @@ inline colorlog::ColorStream &print(colorlog::ColorStream &stream, const Imply<A
 template<class Argument>
 inline colorlog::ColorStream &print(colorlog::ColorStream &stream, const Not<Argument> &not_, pddl::detail::PrintContext &printContext)
 {
-	stream << "(" << colorlog::Keyword("not");
-
-	printContext.indentationLevel++;
-
-	pddl::detail::printIndentedNewline(stream, printContext);
+	stream << "(" << colorlog::Keyword("not") << " ";
 	print(stream, not_.argument, printContext);
-
-	printContext.indentationLevel--;
-
 	return (stream << ")");
 }