From 3ee14defa79f74217aa1c3d0516aa1ddedd849b0 Mon Sep 17 00:00:00 2001
From: Philipp van Kempen <philipp.van-kempen@tum.de>
Date: Fri, 27 Sep 2024 14:04:13 +0200
Subject: [PATCH] examples/demo.sh: add missing -f for init stage

---
 examples/demo.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/demo.sh b/examples/demo.sh
index 02cbed92..02705058 100755
--- a/examples/demo.sh
+++ b/examples/demo.sh
@@ -64,7 +64,7 @@ fi
 
 seal5 --verbose --dir ${SEAL5_HOME} reset  --settings
 seal5 --verbose --dir ${SEAL5_HOME} clean --temp --patches --models --inputs
-seal5 --verbose --dir ${SEAL5_HOME} init $INTERACTIVE_ARGS -c --clone-depth $CLONE_DEPTH $PROGRESS_ARGS
+seal5 --verbose --dir ${SEAL5_HOME} init $INTERACTIVE_ARGS -c --clone-depth $CLONE_DEPTH $PROGRESS_ARGS -f
 seal5 --verbose load --files ${Example_files}
 seal5 --verbose load --files ${Config_files[@]}
 seal5 --verbose setup $PROGRESS_ARGS