From c441f8b1a6cdc234098d8660617e123488b13033 Mon Sep 17 00:00:00 2001
From: Benjamin Loison <benjamin.loison@orange.fr>
Date: Tue, 13 Dec 2022 16:03:05 +0100
Subject: [PATCH] Correct typo in comment in `src/config.ml`

---
 src/config.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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