diff src/sources @ 1235:a7b773f1d053

Command-line use of Iflow
author Adam Chlipala <adamc@hcoop.net>
date Tue, 13 Apr 2010 11:34:59 -0400
parents 5eac14322548
children 5b5c0b552f59
line wrap: on
line diff
--- a/src/sources	Tue Apr 13 11:15:43 2010 -0400
+++ b/src/sources	Tue Apr 13 11:34:59 2010 -0400
@@ -169,6 +169,9 @@
 mono_shake.sig
 mono_shake.sml
 
+fuse.sig
+fuse.sml
+
 iflow.sig
 iflow.sml
 
@@ -178,9 +181,6 @@
 pathcheck.sig
 pathcheck.sml
 
-fuse.sig
-fuse.sml
-
 cjr.sml
 
 postgres.sig