Commit 771e05d4 authored by xleroy's avatar xleroy
Browse files

Typo in doc comment

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1511 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
parent f7270a57
......@@ -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 *)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment