s/cheri_cap_build/cheri_address_set/g

After review comments from Laurie and Andrei. Thanks both!

example_allocators/compartment_alloc/compartment_alloc.c

@@ -90,11 +90,9 @@ void *__capability malloc_compartment(size_t len, void *__capability compartment
     compartment.bytes_allocated = new_allocated;
 
     // We allocated some space!
-    // Create a capability pointing to it and return it.
-    // The capability is bounded by the data capability for this compartment.
-    allocated = cheri_cap_build((void *__capability) addr, (__uintcap_t) compartment.datacap);
-    allocated = cheri_address_set(
-        allocated, (long) addr); // not sure why this is necessary...cheri_cap_build should do this
+    // Create a capability pointing to it and return that.
+    // The capability inherits the metadata of data capability for this compartment.
+    allocated = cheri_address_set(compartment.datacap, (long) addr);
     allocated = cheri_bounds_set_exact(allocated, rounded_length);
 
     return allocated;