From ecd8bbf2c0b7a4ca20c9cdc5f8f26836d4082c36 Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Thu, 3 Mar 2022 19:02:08 +0100
Subject: Added messages about generating pruning tables

---
 src/shell.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/shell.h')

diff --git a/src/shell.h b/src/shell.h
index 80f86ba..7e4f785 100644
--- a/src/shell.h
+++ b/src/shell.h
@@ -7,6 +7,7 @@
 #define MAXTOKENLEN         255
 #define MAXNTOKENS          255
 
+bool        checkfiles();
 void        exec_args(int c, char **v);
 void        launch(bool batchmode);
 
-- 
cgit v1.3