+++ /dev/null
-// Build don't link:
-// prms-id: 6746
-
-class call_trace {
-public:
- call_trace(char* fcn_name);
- ~call_trace();
-};
-
-static char * last_tree;
-extern "C" void prt();
-
-char * smt_mark_stree() {
- char* _my_name = "smt_mark_stree" ;
- call_trace _t(_my_name);
-
- return last_tree = 0 ? (char*)0 : (prt(), (char*)0);
-}