*** empty log message ***

[splint.git] / src / Headers / cscanner.h

diff --git a/src/Headers/cscanner.h b/src/Headers/cscanner.h
index 9dac72779330227a16caf33fd94a2590c28be9df..b06a0f0930e9fbf334295665bac8adb9ff4a7caf 100644 (file)
--- a/src/Headers/cscanner.h
+++ b/src/Headers/cscanner.h
@@ -9,5 +9,3 @@
 
 extern void cscanner_expectingMetaStateName (void) /*@modifies internalState@*/ ;
 extern void cscanner_clearExpectingMetaStateName (void) /*@modifies internalState@*/ ;
-extern void cscanner_processMacroParams (/*@observer@*/ uentry) /*@modifies internalState@*/ ;
-extern void cscanner_clearMacro (void) /*@modifies internalState@*/ ;