Fix build with gcc 3.4

This commit is contained in:
Tilman Keskinoz 2004-08-06 16:05:48 +00:00
parent 4f6397c93f
commit 460397d435
Notes: svn2git 2021-03-31 03:12:20 +00:00
svn path=/head/; revision=115515

View File

@ -0,0 +1,98 @@
--- ef.c.bak Tue Feb 18 08:36:41 2003
+++ ef.c Fri Aug 6 18:04:19 2004
@@ -236,6 +236,7 @@
trace_proof(n);
free(n);
skip1:
+ break;
}
break;
@@ -257,6 +258,7 @@
trace_proof(n);
free(n);
skip2:
+ break;
}
break;
@@ -278,6 +280,7 @@
trace_proof(n);
free(n);
skip3:
+ break;
}
break;
@@ -298,6 +301,7 @@
trace_proof(n);
free(n);
skip4:
+ break;
}
break;
@@ -318,6 +322,7 @@
trace_proof(n);
free(n);
skip5:
+ break;
}
break;
@@ -338,6 +343,7 @@
trace_proof(n);
free(n);
skip6:
+ break;
}
break;
@@ -359,6 +365,7 @@
trace_proof(n);
free(n);
skip7:
+ break;
}
break;
@@ -381,6 +388,7 @@
trace_proof(n);
free(n);
skip8:
+ break;
}
break;
@@ -403,6 +411,7 @@
trace_proof(n);
free(n);
skip9:
+ break;
}
break;
@@ -425,6 +434,7 @@
trace_proof(n);
free(n);
skip10:
+ break;
}
break;
@@ -447,6 +457,7 @@
trace_proof(n);
free(n);
skip11:
+ break;
}
break;
@@ -469,6 +480,7 @@
trace_proof(n);
free(n);
skip12:
+ break;
}
break;