Renamed "arbitrary type" to "opaque type"

1 files changed, 1 insertions, 1 deletions

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.