From 771e05d46a08d412ea05adf7b147e0291215b92b Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Tue, 21 Sep 2010 08:10:39 +0000
Subject: Typo in doc comment

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1511 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 backend/CastOptim.v | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/backend/CastOptim.v b/backend/CastOptim.v
index 3ae5ab0b..545564d8 100644
--- a/backend/CastOptim.v
+++ b/backend/CastOptim.v
@@ -32,11 +32,11 @@ Require Import Kildall.
 Inductive approx : Type :=
   | Unknown               (**r any value *)
   | Int7                  (**r [[0,127]] *)
-  | Int8s                 (**r [[-128,127] *)
+  | Int8s                 (**r [[-128,127]] *)
   | Int8u                 (**r [[0,255]] *)
   | Int15                 (**r [[0,32767]] *)
   | Int16s                (**r [[-32768,32767]] *)
-  | Int16u                (**r [[0,65535] *)
+  | Int16u                (**r [[0,65535]] *)
   | Single                (**r single-precision float *)
   | Novalue.              (**r empty *)
 
-- 
cgit