From da2141fbf28e6173f587ee146acc8f78b7ea8e0d Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 21 Jul 2012 10:12:35 -0400 Subject: Update demo code for key/mouse handler change --- demo/batchFun.ur | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'demo/batchFun.ur') diff --git a/demo/batchFun.ur b/demo/batchFun.ur index d69d68af..2147868c 100644 --- a/demo/batchFun.ur +++ b/demo/batchFun.ur @@ -75,7 +75,7 @@ functor Make(M : sig {m.Show v}) M.fl M.cols (r -- #Id)} {if withDel then -