Rev 8302 | Rev 8880 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 8302 | Rev 8303 | ||
---|---|---|---|
Line 209... | Line 209... | ||
209 | default: break; /* should never occur */ |
209 | default: break; /* should never occur */ |
210 | } |
210 | } |
211 | } |
211 | } |
212 | } |
212 | } |
213 | } |
213 | } |
214 |
|
214 | internal_error("compare(): this should never happen."); |
215 | return -1; |
215 | return -1; |
216 | } |
216 | } |
217 | 217 |