From ec0cd644f137a90c3c9d0b30847add4e397162b1 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Sat, 11 Apr 2020 12:28:54 -0700 Subject: [PATCH] fix the build Signed-off-by: Lev Nachmanson --- src/muz/spacer/spacer_context.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/muz/spacer/spacer_context.cpp b/src/muz/spacer/spacer_context.cpp index b06aa2c00..fb98701aa 100644 --- a/src/muz/spacer/spacer_context.cpp +++ b/src/muz/spacer/spacer_context.cpp @@ -1683,7 +1683,7 @@ void pred_transformer::init_rule(decl2rel const& pts, datalog::rule const& rule) if (ut_size > 0 && !is_ground(trans)) { std::stringstream stm; stm << "spacer: quantifier in a recursive rule:\n"; - rule.display(get_context().get_datalog_context(), tout); + rule.display(get_context().get_datalog_context(), stm); throw default_exception(stm.str()); }