Browse Source

pas2js: hide $shared in sets

git-svn-id: trunk@40146 -
Mattias Gaertner 6 years ago
parent
commit
ef3b1ee5ba
1 changed files with 4 additions and 4 deletions
  1. 4 4
      utils/pas2js/dist/rtl.js

+ 4 - 4
utils/pas2js/dist/rtl.js

@@ -905,8 +905,8 @@ var rtl = {
   },
 
   eqSet: function(s,t){
-    for (var key in s) if (!t[key] && (key!='$shared')) return false;
-    for (var key in t) if (!s[key] && (key!='$shared')) return false;
+    for (var key in s) if (!t[key]) return false;
+    for (var key in t) if (!s[key]) return false;
     return true;
   },
 
@@ -915,12 +915,12 @@ var rtl = {
   },
 
   leSet: function(s,t){
-    for (var key in s) if (!t[key] && (key!='$shared')) return false;
+    for (var key in s) if (!t[key]) return false;
     return true;
   },
 
   geSet: function(s,t){
-    for (var key in t) if (!s[key] && (key!='$shared')) return false;
+    for (var key in t) if (!s[key]) return false;
     return true;
   },