From 17bd465d7950927d76080106db7ade928e5a8b4a Mon Sep 17 00:00:00 2001 From: Rustan Leino Date: Tue, 15 Jul 2014 17:16:02 -0700 Subject: Renamed "arbitrary type" to "opaque type" --- Test/cloudmake/CloudMake-ParallelBuilds.dfy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Test/cloudmake') diff --git a/Test/cloudmake/CloudMake-ParallelBuilds.dfy b/Test/cloudmake/CloudMake-ParallelBuilds.dfy index 19473b6a..a4f327ff 100644 --- a/Test/cloudmake/CloudMake-ParallelBuilds.dfy +++ b/Test/cloudmake/CloudMake-ParallelBuilds.dfy @@ -761,7 +761,7 @@ abstract module M2 refines M1 { } } -// Finally, this module defines any remaining arbitrary types and function bodies and proves any +// Finally, this module defines any remaining opaque types and function bodies and proves any // remaining lemmas about these. The actual definitions are not so interesting and are not meant // to suggest that a deployed CloudMake use these definitions. Rather, these definitions are here // only to establish mathematical feasibility of previously axiomatized properties. -- cgit v1.2.3