From 75897a0a0f08d0a8111ce9b33d8ec7a1e019c27e Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sun, 6 Apr 2008 16:46:30 +0000
Subject: [PATCH] git-svn-id:
 https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7616
 3260e6d1-4efc-4170-b0a7-36055960796d

---
 su4sml/src/wfcpog/library.sml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/su4sml/src/wfcpog/library.sml b/su4sml/src/wfcpog/library.sml
index cd471f2..27ae341 100644
--- a/su4sml/src/wfcpog/library.sml
+++ b/su4sml/src/wfcpog/library.sml
@@ -115,10 +115,6 @@ fun term_of_postcondition ((a:string option),(t:OclTerm)) = t
     OperationCall (
 *)
 
-(*
-fun wrap_predicate term (NONE) args = Predicate (term,type_of_term term,[generate_name "gen_name"],args)
-  | wrap_predicate term (SOME(x)) args = Predicate (term,type_of_term term,[x],args)
-*)
 fun conjugate_terms [] = raise WFCPOG_LibraryError ("Empty list not conjugateable. \n")
   | conjugate_terms [x:OclTerm] = (x)
   | conjugate_terms ((h:OclTerm)::tail) =