From f9a4b91ece1d6c15c74a4cc918132baa51cbb8a8 Mon Sep 17 00:00:00 2001 From: Manuel Krucker Date: Tue, 3 Apr 2007 15:39:54 +0000 Subject: [PATCH] redundant match in name_of manuel krucker git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6303 3260e6d1-4efc-4170-b0a7-36055960796d --- src/rep_core.sml | 1 - 1 file changed, 1 deletion(-) diff --git a/src/rep_core.sml b/src/rep_core.sml index 56ebf5a..1506c20 100644 --- a/src/rep_core.sml +++ b/src/rep_core.sml @@ -447,7 +447,6 @@ fun name_of (Class{name,...}) = path_of_OclType name | name_of (Enumeration{name,...}) = path_of_OclType name | name_of (Primitive{name,...}) = path_of_OclType name | name_of (Template{classifier,...}) = name_of classifier - | name_of _ = error "in Rep.name_of: Classifier has no name represenation" fun short_name_of C = case (name_of C) of [] => error "in Rep.short_name_of: empty type"