From 380dd0c57de9bc87cf6794d922a60e08905a1b60 Mon Sep 17 00:00:00 2001
From: Manuel Krucker <mkrucker@ethz.ch>
Date: Wed, 30 May 2007 11:21:55 +0000
Subject: [PATCH] notEmpty not operation of OclAny

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6518 3260e6d1-4efc-4170-b0a7-36055960796d
---
 src/ocl_library.sml | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/src/ocl_library.sml b/src/ocl_library.sml
index 39d1dcf..2c1beb5 100644
--- a/src/ocl_library.sml
+++ b/src/ocl_library.sml
@@ -1054,16 +1054,6 @@ val oclLib =
 	 {
 	  associationends=[],interfaces=[],invariant=[],name=OclAny,
 	  operations=[
-	  {
-	   arguments=[],
-	   isQuery=true,
-	   name="notEmpty",
-	   postcondition=[],
-	   precondition=[],
-	   result=Boolean,
-	   scope=XMI.InstanceScope,
-	   visibility=XMI.public
-	  },
 	  {
 	   arguments=[("object",OclAny)],
            isQuery=true,name="=",postcondition=[],precondition=[],