Correct typo in comment in src/config.ml

2022-12-13 16:03:05 +01:00 · 2022-12-13 16:03:05 +01:00 · c441f8b1a6
commit c441f8b1a6
parent b4cc3ae756
1 changed files with 1 additions and 1 deletions
--- 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