From 02015cafba394b4e18c6231204c5838724b31297 Mon Sep 17 00:00:00 2001
From: chaomaer <1506174913@qq.com>
Date: Mon, 25 Mar 2019 17:47:17 +0800
Subject: Update the comment of the free operation (#277)

The comment says "writable" but it should be "freeable".
---
 common/Memtype.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/common/Memtype.v b/common/Memtype.v
index ae4fa5fd..03dc1499 100644
--- a/common/Memtype.v
+++ b/common/Memtype.v
@@ -104,7 +104,7 @@ Parameter alloc: forall (m: mem) (lo hi: Z), mem * block.
 
 (** [free m b lo hi] frees (deallocates) the range of offsets from [lo]
   included to [hi] excluded in block [b].  Returns the updated memory
-  state, or [None] if the freed addresses are not writable. *)
+  state, or [None] if the freed addresses are not freeable. *)
 Parameter free: forall (m: mem) (b: block) (lo hi: Z), option mem.
 
 (** [load chunk m b ofs] reads a memory quantity [chunk] from
-- 
cgit