git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8007 3260e6d1-4efc-4170-b0a7-36055960796d

2008-05-20 17:10:42 +00:00 · 2008-05-20 17:10:42 +00:00 · f8437c39e1
parent d2539cf1ea
commit f8437c39e1
1 changed files with 3 additions and 0 deletions
--- a/su4sml/src/wfcpog/command_query_consistency.sml
+++ b/su4sml/src/wfcpog/command_query_consistency.sml
@ -182,5 +182,8 @@ fun strong_is_query po (model as (clist,alist)) =
    in
 	res
    end
+
+ (* | OperationCall (src,styp,["oclLib",_,"modifiedOnly"],[],_) 
+	=> OclModifiedOnly styp u (ocl2holocl u  src)             *)
 end;