From 31fcfe29ebf1ef6eea487e8ce18eb5e11fb60b67 Mon Sep 17 00:00:00 2001 From: Michael Schmidt Date: Fri, 6 Nov 2015 13:04:58 +0100 Subject: bug 17567, typos --- debug/DebugTypes.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'debug/DebugTypes.mli') diff --git a/debug/DebugTypes.mli b/debug/DebugTypes.mli index b2f19f7a..e885fc59 100644 --- a/debug/DebugTypes.mli +++ b/debug/DebugTypes.mli @@ -147,7 +147,7 @@ type local_variable_information = { lvar_atom: atom option; lvar_file_loc:location; lvar_type: int; - lvar_static: bool; (* Static variable are mapped to symbols *) + lvar_static: bool; (* Static variables are mapped to symbols *) } type scope_information = -- cgit