+
+ last_provoker = &provoking_node;
+}
+
+void Validator::add_info(Node &node, const string &message)
+{
+ if(!last_provoker)
+ throw logic_error("Tried to add info without a previous provoker");
+ diagnose(node, *last_provoker, Diagnostic::INFO, message);