From 657590bb76a7f9a72c577b5e5a67f4870dcb1cc1 Mon Sep 17 00:00:00 2001 From: Philipp Gesang Date: Sat, 15 Nov 2014 17:20:57 +0100 Subject: [PATCH] front-end/doc.ml: fix typo in comment --- code/front-end/doc.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/code/front-end/doc.ml b/code/front-end/doc.ml index f5715ae..df9d6f4 100644 --- a/code/front-end/doc.ml +++ b/code/front-end/doc.ml @@ -6,7 +6,7 @@ exception My_exception of (int -> int) * int (** Comment for type [weather] *) type weather = - | Rain of int (** The comment for construtor Rain *) + | Rain of int (** The comment for constructor Rain *) | Sun (** The comment for constructor Sun *) (** Find the current weather for a country