fixed build

toothbrush · Jul 8, 2011 · feb4338 · feb4338
1 parent 3cf0402
commit feb4338
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 1 deletion.
diff --git a/src/APA2/AG.ag b/src/APA2/AG.ag
@@ -9,6 +9,7 @@ import Debug.Trace
 import            Data.Map (Map)
 import qualified  Data.Map as DM
 import qualified  Data.Map as Map
+import qualified  Data.Map
 import            Data.MultiSet (MultiSet)
 import qualified  Data.MultiSet as DMS
 import qualified  Data.Set as DS

diff --git a/src/APA2/AG/Infer.ag b/src/APA2/AG/Infer.ag
@@ -1,5 +1,6 @@
 imports
 {
+
 }
 
 ATTR MH

diff --git a/src/Components.hs b/src/Components.hs
@@ -89,7 +89,7 @@ analysisResult tm =
 
 solutionSubst :: Constraints -> SimpleSubstitution
 solutionSubst cs = 
-  DM.foldWithKey (\var result next -> Dot (AnnSub var result) next) Identity (worklist cs)
+  DM.foldrWithKey (\var result next -> Dot (AnnSub var result) next) Identity (worklist cs)
 
 printExpressions' :: (Show a1, Show a) => [(a1, a)] -> String
 printExpressions' =