Mercurial > urweb

diff src/sources @ 108:f59553dc1b6a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix dependency graph mismatch in sources
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Jul 2008 16:05:14 -0400
parents 82aaa1c406d3
children 813e5a52063d
line wrap: on
line diff
--- a/src/sources	Thu Jul 10 15:58:16 2008 -0400
+++ b/src/sources	Thu Jul 10 16:05:14 2008 -0400
@@ -77,9 +77,6 @@
 
 mono.sml
 
-monoize.sig
-monoize.sml
-
 mono_util.sig
 mono_util.sml
 
@@ -89,6 +86,9 @@
 mono_print.sig
 mono_print.sml
 
+monoize.sig
+monoize.sml
+
 mono_opt.sig
 mono_opt.sml