diff options
Diffstat (limited to 'Test/cloudmake/CloudMake-ParallelBuilds.dfy')
-rw-r--r-- | Test/cloudmake/CloudMake-ParallelBuilds.dfy | 2 |
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.
|