diff options
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) |