From 55d10dd587a94d356096c2dfc39306c14b55c7bf 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