Propagate strings through the blarg backend.

[snipe.git] / sources.cm

diff --git a/sources.cm b/sources.cm
index edf6e4929acc06a0ddac0db6b5a3e2e659b4ddec..3ab39304c56b3408145375d3fc3111eaf95c01f3 100644 (file)
--- a/sources.cm
+++ b/sources.cm
@@ -26,6 +26,7 @@ Group is
 
        trans/temp.sml
         trans/label.sml
 
        trans/temp.sml
         trans/label.sml

+       trans/stringref.sml

        trans/tree.sml
        trans/treeutils.sml
        trans/trans.sml
        trans/tree.sml
        trans/treeutils.sml
        trans/trans.sml