Author: larry
Date: Thu Mar 29 12:32:03 2007
New Revision: 14365
Modified:
doc/trunk/design/syn/S04.pod
Log:
missing words spotted by shamu++
Modified: doc/trunk/design/syn/S04.pod
==============================================================================
--- doc/trunk/design/syn/S04.pod (original)
+++ doc/trunk/design/syn/S04.pod Thu Mar 29 12:32:03 2007
@@ -854,8 +854,8 @@
NEXT {...} at loop continuation time, before any LEAVE
LAST {...} at loop termination time, after any LEAVE
- PRE {...} assert precondition at every block entry, before any
- POST {...} assert postcondition at every block exit, after any
+ PRE {...} assert precondition at every block entry, before ENTER
+ POST {...} assert postcondition at every block exit, after LEAVE
CATCH {...} catch exceptions, before LEAVE
CONTROL {...} catch control exceptions, before LEAVE
