Changeset 12750

Timestamp:

29.10.2009 16:29:17 (3 weeks ago)

Author:

kristina

Message:

Renamed a variable

Files:

• trunk/DFOL/Morphism.hs (modified) (2 diffs)

trunk/DFOL/Morphism.hs

@@ -141 +141 @@
     3.1 : If s does not occur in excl :
           4.1 : Get the type "t" of s in sig
-              4.2 : Get the set "vars" of free variables in t, i.e. the symbols of
-                        sig that t depends on
+              4.2 : Get the set "vars" of free variables in t, i.e. the symbols
+                    of sig that t depends on
           4.3 : If any of the symbols in vars occurs in excl, add s to excl
 
@@ -181 +181 @@
               depen = or $ map (\ n1 -> Set.member n1 excl) ns
               in if depen
-                    then let incl1 = Set.insert n excl
+                    then let excl1 = Set.insert n excl
                              in cogSig excl1 ds sig
                     else cogSig excl ds sig