Searched refs:WISDOM_PREAMBLE (Results 1 – 4 of 4) sorted by relevance
786 #define WISDOM_PREAMBLE PACKAGE "-" VERSION " " STRINGIZE(X(wisdom)) macro799 "(" WISDOM_PREAMBLE " #x%M #x%M #x%M #x%M\n", in exprt()843 "(" WISDOM_PREAMBLE " #x%M #x%M #x%M #x%M\n", in imprt()