X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=include%2Flibrace.h;h=cabf0661ae32832efde74da04fe5ba6257552241;hb=f5ec684987a17e41940dd3c80ad2b98460181054;hp=591b2925473b9ef608d533d70f2b3d2cf6a928a6;hpb=55f3acdb4bec3b2879e189a82d23e112aba79aed;p=model-checker.git

diff --git a/include/librace.h b/include/librace.h
index 591b292..cabf066 100644
--- a/include/librace.h
+++ b/include/librace.h
@@ -16,10 +16,10 @@ extern "C" {
 	void store_32(void *addr, uint32_t val);
 	void store_64(void *addr, uint64_t val);
 
-	uint8_t load_8(void *addr);
-	uint16_t load_16(void *addr);
-	uint32_t load_32(void *addr);
-	uint64_t load_64(void *addr);
+	uint8_t load_8(const void *addr);
+	uint16_t load_16(const void *addr);
+	uint32_t load_32(const void *addr);
+	uint64_t load_64(const void *addr);
 
 #ifdef __cplusplus
 }