From 8001b1f0c71a4498e32c012fe60e21f4036a206f Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Sat, 21 May 2016 17:43:17 +0100 Subject: [PATCH] typo --- src/ast/datatype_decl_plugin.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/datatype_decl_plugin.h b/src/ast/datatype_decl_plugin.h index 51d33c896..8ef6fb557 100644 --- a/src/ast/datatype_decl_plugin.h +++ b/src/ast/datatype_decl_plugin.h @@ -109,7 +109,7 @@ public: parameters[o] - (int) m - number of constructors parameters[o+1] - (int) k_1 - offset for constructor definition ... - parameters[o+m] - (int) k_m - offset ofr constructor definition + parameters[o+m] - (int) k_m - offset for constructor definition for each offset k_i at parameters[o+s] for some s in 0..m-1 parameters[k_i] - (symbol) name of the constructor