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

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

This commit is contained in:
Achim D. Brucker 2008-10-13 11:03:18 +00:00
parent e27423792a
commit 79fbdc7d86
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
su4sml/src/ocl2string.sml
View File

@ -6,6 +6,7 @@
* This file is part of su4sml.
*
* Copyright (c) 2005-2007 ETH Zurich, Switzerland
* 2008 Achim D. Brucker, Germany
*
* All rights reserved.
*
@ -54,7 +55,6 @@ open Rep_Helper
open Rep_Logger
open Rep_OclType
open Rep_OclTerm
(* open Rep_Core *)
fun ocl2string show_types oclterm =