HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity

exception added 

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7897 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Manuel Krucker 2008-05-07 09:48:02 +00:00
parent 875611fd51
commit 3f6b0e28a9
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
su4sml/src/wfcpog/wfcpog_registry.sml
View File

@ -105,6 +105,7 @@ sig
(** Create wfpo for wfc max_depth.*)
val create_wfc_tax : int -> WFCPOG.wfpo
exception WFCPOG_RegistryError of string
exception WFCPOG_MethodologyError of string
end
@ -112,7 +113,7 @@ structure WFCPOG_Registry :WFCPOG_REGISTRY =
struct
exception WFCPOG_RegistryError of string
exception WFCPOG_MethodologyError of string
open Rep_Logger
open WFCPOG
open Datatab