# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1221596291 14400
# Node ID b1e137b4aafecff0206ce0294ff74a10d884c276
# Parent  9bdbc43d510eb21846e7496423c749bebdef7183
Small prose change

diff -r 9bdbc43d510e -r b1e137b4aafe src/StackMachine.v
--- 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.
 
 [[