--- resultsdb.C.orig	Thu Oct  5 16:56:59 2000
+++ resultsdb.C	Wed Jan 15 11:31:20 2003
@@ -43,7 +43,7 @@
   delete[] old_table;
 }
 
-void AddResult(char *source, int l, Severity s, VulnInfo*v, int explanation=0)
+void AddResult(char *source, int l, Severity s, VulnInfo*v, int explanation)
 {
   Result &r = table[num_entries++];
   r.source  = source;
--- formatter.H.orig	Thu Oct  5 16:56:58 2000
+++ formatter.H	Wed Jan 15 11:31:38 2003
@@ -10,4 +10,4 @@
 void FormatterOutput();
 void RunQueries();
 
-#endif __FORMATTER_H__
+#endif /* __FORMATTER_H__ */
