| ... | ... | 
		@@ -117,7 +117,7 @@  | 
| 117 | 117 | 
		digraphReader(d, input).  | 
| 118 | 118 | 
		run();  | 
| 119 | 119 | 
		}  | 
| 120 | 
		catch (FormatError&  | 
|
| 120 | 
		catch (FormatError&)  | 
|
| 121 | 121 | 
		      {
	 | 
| 122 | 122 | 
		ok = true;  | 
| 123 | 123 | 
		}  | 
| ... | ... | 
		@@ -131,7 +131,7 @@  | 
| 131 | 131 | 
		graphReader(g, input).  | 
| 132 | 132 | 
		run();  | 
| 133 | 133 | 
		}  | 
| 134 | 
		catch (FormatError&  | 
|
| 134 | 
		catch (FormatError&)  | 
|
| 135 | 135 | 
		      {
	 | 
| 136 | 136 | 
		ok = true;  | 
| 137 | 137 | 
		}  | 
| ... | ... | 
		@@ -146,7 +146,7 @@  | 
| 146 | 146 | 
		digraphReader(d, input).  | 
| 147 | 147 | 
		run();  | 
| 148 | 148 | 
		}  | 
| 149 | 
		catch (FormatError&  | 
|
| 149 | 
		catch (FormatError&)  | 
|
| 150 | 150 | 
		      {
	 | 
| 151 | 151 | 
		ok = true;  | 
| 152 | 152 | 
		}  | 
| ... | ... | 
		@@ -160,7 +160,7 @@  | 
| 160 | 160 | 
		graphReader(g, input).  | 
| 161 | 161 | 
		run();  | 
| 162 | 162 | 
		}  | 
| 163 | 
		catch (FormatError&  | 
|
| 163 | 
		catch (FormatError&)  | 
|
| 164 | 164 | 
		      {
	 | 
| 165 | 165 | 
		ok = true;  | 
| 166 | 166 | 
		}  | 
0 comments (0 inline)