diff options
Diffstat (limited to 'backendC/CleanCompilerSources/dbprint.h')
| -rw-r--r-- | backendC/CleanCompilerSources/dbprint.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/backendC/CleanCompilerSources/dbprint.h b/backendC/CleanCompilerSources/dbprint.h index e87800e..3eb0f3c 100644 --- a/backendC/CleanCompilerSources/dbprint.h +++ b/backendC/CleanCompilerSources/dbprint.h @@ -11,8 +11,9 @@ extern void DPrintNodeId (NodeId nid, File file); extern void DPrintNodeIdS (char *s,NodeId nid, File file); extern void DPrintOccurrenceKind (OccurrenceKind kind, File file); extern void PrintTypeAlt (TypeAlts type_alts, File file, Bool with_equats); +extern void PrintState (StateS state, File file); -extern void PrintRules (ImpRules rules); +extern void PrintRules (ImpRules rules,File file); #ifdef _COMPSTATS_ extern unsigned long |