# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1215720314 14400
# Node ID f59553dc1b6a726c4df6b7da1938b30b099be39d
# Parent  bed5cf0b6b757c55206eac1bd5dbf195c2cf3afa
Fix dependency graph mismatch in sources

diff -r bed5cf0b6b75 -r f59553dc1b6a src/sources
--- 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