diff --git a/src/config.ml b/src/config.ml index 5609502..6046dee 100644 --- a/src/config.ml +++ b/src/config.ml @@ -1,4 +1,4 @@ -(** Maximum Number of variabnles declared in a sngle node. +(** Maximum Number of variables declared in a single node. * This corresponds to the sum of the number of local, input and output * variables. *) let maxvar = 100