Home
last modified time | relevance | path

Searched refs:annotation_warning (Results 1 – 2 of 2) sorted by relevance

/dports/games/stonesoup/crawl-0.27.1/crawl-ref/source/
H A Dstairs.cc110 const string annotation_warning = _annotation_exclusion_warning(next_level_id); in check_next_floor_warning() local
115 if (annotation_warning != "") in check_next_floor_warning()
116 mprf(MSGCH_PROMPT, "%s", annotation_warning.c_str()); in check_next_floor_warning()
122 const bool might_be_dangerous = annotation_warning != "" in check_next_floor_warning()
/dports/math/vampire/vampire-4.5.1/Parse/
H A DSMTLIB2.cpp1471 static bool annotation_warning = false; // print warning only once in parseAnnotatedTerm() local
1473 if (!annotation_warning) { in parseAnnotatedTerm()
1477 annotation_warning = true; in parseAnnotatedTerm()