diff options
Diffstat (limited to 'src/tac2env.ml')
| -rw-r--r-- | src/tac2env.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tac2env.ml b/src/tac2env.ml index 8198f92ff8..93ad57e97e 100644 --- a/src/tac2env.ml +++ b/src/tac2env.ml @@ -291,7 +291,7 @@ let is_constructor qid = let id = Id.to_string id in assert (String.length id > 0); match id with - | "true" | "false" -> true (** built-in constructors *) + | "true" | "false" -> true (* built-in constructors *) | _ -> match id.[0] with | 'A'..'Z' -> true |