removed print; now always prints!

85fb2e80 · dcw · 04ea85dd · 85fb2e80
Commit 85fb2e80 authored Apr 07, 1992 by dcw
--- a/decs.h
+++ b/decs.h
@@ -3,5 +3,3 @@ extern void make_declns( char * , char * , declnlist , char * );
 #else
 extern void make_declns();
 #endif
-
-extern BOOL print;