Browse files

fixed typo

  • Loading branch information...
1 parent 6051b52 commit a045ee30928136419593403ae3c8ee7bdba9c11f @tvcutsem committed Oct 28, 2013
Showing with 2 additions and 2 deletions.
  1. +2 −2 examples/ownership/
@@ -2,7 +2,7 @@
The file `boundary.js` implements an ownership boundary abstraction based on
generic [membranes](
-(see `../generic_membranes.js`).
+(see `../generic_membrane.js`).
The approach is inspired primarily by the paper:
@@ -396,4 +396,4 @@ check arbitrary predicates.
Boundaries are meant to be deployed at a finer-grain level than modules.
They are designed to be deployed around containers or around strategic objects
in the object graph. The use cases derive from work on reasoning about
-object ownership and aliasing (e.g. ownership types).
+object ownership and aliasing (e.g. ownership types).

0 comments on commit a045ee3

Please sign in to comment.