Print updated specification.

IDNI · Feb 7, 2025 · d84dd79 · d84dd79
1 parent 5771ac0
commit d84dd79
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/interpreter.impl.h b/src/interpreter.impl.h
@@ -462,6 +462,8 @@ void interpreter<input_t, output_t, BAs...>::update(const tau<BAs...>& update) {
 		return;
 	}
 
+	BOOST_LOG_TRIVIAL(info) << "Updated specification: \n" << new_spec << "\n\n";
+
 	// Set new specification for interpreter
 	ubt_ctn = new_ubd_ctn;
 	original_spec = new_spec;