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

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
 }