diff src/sources @ 2294:f8903af753ff

Support nested queries but disable UrFlow for now.
author Ziv Scully <ziv@mit.edu>
date Thu, 19 Nov 2015 01:59:00 -0500
parents c05f9a5e0f0f
children 6fb9232ade99
line wrap: on
line diff
--- a/src/sources	Wed Nov 18 14:48:24 2015 -0500
+++ b/src/sources	Thu Nov 19 01:59:00 2015 -0500
@@ -207,9 +207,6 @@
 $(SRC)/fuse.sig
 $(SRC)/fuse.sml
 
-$(SRC)/iflow.sig
-$(SRC)/iflow.sml
-
 $(SRC)/name_js.sig
 $(SRC)/name_js.sml