From 431abe6b2d53ed42d5019a5263e8014de8920eb4 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 16 Apr 2009 15:29:39 -0400 Subject: Effectness analysis --- demo/crud.ur | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'demo/crud.ur') diff --git a/demo/crud.ur b/demo/crud.ur index cf120697..0b937ff1 100644 --- a/demo/crud.ur +++ b/demo/crud.ur @@ -167,7 +167,7 @@ functor Make(M : sig return

Are you sure you want to delete ID #{[id]}?

-

I was born sure!

+
end -- cgit v1.2.3