|
| From: | Paul Scott |
| Subject: | parent spanner that can contain a hairpin |
| Date: | Wed, 30 Jan 2008 14:49:38 -0700 |
| User-agent: | Mozilla-Thunderbird 2.0.0.9 (X11/20080110) |
What is the parent spanner referred to in: Spanner `Hairpin' is not fully contained in parent spanner ? Knowing that might make the error message easier to use. TIA, Paul Scott
| [Prev in Thread] | Current Thread | [Next in Thread] |