Changed the type of sink passed to ensures_amalgamability

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3093 cec4b9c1-7d33-0410-9eda-942365e851bb
spechub · Aug 26, 2004 · dc83571 · dc83571
1 parent 59cc761
commit dc83571
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Logic/Logic.hs b/Logic/Logic.hs
@@ -213,7 +213,7 @@ class ( Syntax lid basic_spec symb_items symb_map_items
          -- architectural sharing analysis
          ensures_amalgamability :: lid ->
               (Diagram sign morphism, -- the diagram to be analyzed
-	       [LEdge morphism],      -- the sink
+	       [(Node, morphism)],    -- the sink
 	       Diagram String String) -- the descriptions of nodes and edges
 		  -> Result Amalgamates