summaryrefslogtreecommitdiff
path: root/src/sources
diff options
context:
space:
mode:
Diffstat (limited to 'src/sources')
-rw-r--r--src/sources20
1 files changed, 10 insertions, 10 deletions
diff --git a/src/sources b/src/sources
index 7ccb39db..3efdecb4 100644
--- a/src/sources
+++ b/src/sources
@@ -107,14 +107,20 @@ core_print.sml
corify.sig
corify.sml
-reduce.sig
-reduce.sml
+reduce_local.sig
+reduce_local.sml
shake.sig
shake.sml
-reduce_local.sig
-reduce_local.sml
+core_untangle.sig
+core_untangle.sml
+
+especialize.sig
+especialize.sml
+
+reduce.sig
+reduce.sml
unpoly.sig
unpoly.sml
@@ -122,12 +128,6 @@ unpoly.sml
specialize.sig
specialize.sml
-core_untangle.sig
-core_untangle.sml
-
-especialize.sig
-especialize.sml
-
rpcify.sig
rpcify.sml