Mercurial > urweb

diff tests/modproj.lac @ 39:02f42e9a1825

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Corify removes modules
author Adam Chlipala <adamc@hcoop.net>
date Thu, 19 Jun 2008 12:39:22 -0400
parents 1dfbd9e3e790
children
line wrap: on
line diff
--- a/tests/modproj.lac	Thu Jun 19 10:06:59 2008 -0400
+++ b/tests/modproj.lac	Thu Jun 19 12:39:22 2008 -0400
@@ -20,4 +20,4 @@
 val zero : int = S2.zero
 
 structure T = S1
-val zero : S1.t = T.zero
+val main : S1.t = T.zero