changeset 44:b1e137b4aafe

Small prose change
author Adam Chlipala <adamc@hcoop.net>
date Tue, 16 Sep 2008 16:18:11 -0400
parents 9bdbc43d510e
children cb135b19adb8
files src/StackMachine.v
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/StackMachine.v	Mon Sep 15 10:05:37 2008 -0400
+++ b/src/StackMachine.v	Tue Sep 16 16:18:11 2008 -0400
@@ -391,7 +391,7 @@
   unfold expDenote.
   fold expDenote.
 
-(** Now we arrive at a point where the tactics we have seen so far are insufficient:
+(** Now we arrive at a point where the tactics we have seen so far are insufficient.  No further definition unfoldings get us anywhere, so we will need to try something different.
 
 [[