diff options
| author | Jacques-Henri Jourdan <jacques-henri.jourdan@inria.fr> | 2015-11-07 18:21:00 +0100 |
|---|---|---|
| committer | Jacques-Henri Jourdan <jacques-henri.jourdan@inria.fr> | 2015-11-07 18:21:00 +0100 |
| commit | b071b27ecfea4911b1cd07d4083d8ad7a1db7809 (patch) | |
| tree | b01dfa1951e4c3e93206bf56eed6b94b235305ac /cparser/pre_parser_aux.ml | |
| parent | 331501399291aff5a9cfcf1963b89ad2300a436e (diff) | |
| download | compcert-kvx-b071b27ecfea4911b1cd07d4083d8ad7a1db7809.tar.gz compcert-kvx-b071b27ecfea4911b1cd07d4083d8ad7a1db7809.zip | |
Integrate a few comments of F. Pottier into the pre_parser and handcrafted.messages
Diffstat (limited to 'cparser/pre_parser_aux.ml')
| -rw-r--r-- | cparser/pre_parser_aux.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/pre_parser_aux.ml b/cparser/pre_parser_aux.ml index 717396a7..74bf494c 100644 --- a/cparser/pre_parser_aux.ml +++ b/cparser/pre_parser_aux.ml @@ -18,7 +18,7 @@ type identifier_type = | TypedefId | OtherId -(* Applying once this functions saves the current context stack, and +(* Applying once this functions saves the current context, and applying it the second time restores it. *) let save_context:(unit -> (unit -> unit)) ref = ref (fun _ -> assert false) |