more data vars

spechub · Aug 14, 2016 · 4eeb7bc · 4eeb7bc
1 parent b976101
commit 4eeb7bc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/OWL2/OWL22CASL.hs b/OWL2/OWL22CASL.hs
@@ -736,7 +736,7 @@ mapListFrameBit cSig ex rel lfb =
       Just r -> case ex of
         Misc _ -> do
             pairs <- mapComDataPropsList cSig Nothing dl 1 2
-            mkEDPairs cSig [1, 2] rel pairs
+            mkEDPairs' cSig [1, 2] rel pairs
         SimpleEntity (Entity _ DataProperty iri) -> case r of
             SubPropertyOf -> do
                 os1 <- mapM (\ o1 -> mapDataProp cSig o1 1 2) dl