d >= depth not >

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7941 3260e6d1-4efc-4170-b0a7-36055960796d
2008-05-10 09:21:51 +00:00 · 2008-05-10 09:21:51 +00:00 · 830ba5a179
parent 90adbedab6
commit 830ba5a179
1 changed files with 1 additions and 1 deletions
--- a/su4sml/src/wfcpog/taxonomy_consistency.sml
+++ b/su4sml/src/wfcpog/taxonomy_consistency.sml
@ -124,7 +124,7 @@ fun  check_depth_classifier depth class (model as (clist,alist)) =
 	val _ = trace wgen ("look for deep ...\n")
 	val d = deep_of_classifier 0 class model
 	val check = 
-	    if (depth  > d) 
+	    if (depth  >= d) 
 	    then true
 	    else 
 		let