From 0c570824f24e2033b15d5efa291430561a9c2c83 Mon Sep 17 00:00:00 2001
From: Daniel Richtmann <daniel.richtmann@gmail.com>
Date: Tue, 21 Apr 2020 13:26:43 +0200
Subject: [PATCH] Add missing declaration of GridCmdOptionInt

---
 Grid/util/Init.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Grid/util/Init.h b/Grid/util/Init.h
index f7f032ba..dad963a0 100644
--- a/Grid/util/Init.h
+++ b/Grid/util/Init.h
@@ -56,6 +56,7 @@ std::string GridCmdVectorIntToString(const VectorInt & vec);
 void GridCmdOptionCSL(std::string str,std::vector<std::string> & vec);
 template<class VectorInt>
 void GridCmdOptionIntVector(std::string &str,VectorInt & vec);
+void GridCmdOptionInt(std::string &str,int & val);
 
 
 void GridParseLayout(char **argv,int argc,