From 700ab875aa3a0f93cc966f305eab4f22e1540817 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Thu, 1 Feb 2024 09:33:41 +0000
Subject: [PATCH] [fc-scripts] slight fix to help msg
---
bin/frama-c-script | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/bin/frama-c-script b/bin/frama-c-script
index f433562ea40..a6be7954558 100755
--- a/bin/frama-c-script
+++ b/bin/frama-c-script
@@ -38,7 +38,7 @@ usage() {
echo " and non-POSIX external libraries."
echo " (run 'frama-c -machdep help' to get the list of machdeps)."
echo ""
- echo " - creduce file [args]"
+ echo " - creduce [[file] args]"
echo " Use the external tool C-Reduce to minimize C files when"
echo " debugging crashes and fatal errors. Run without arguments for"
echo " more details."
--
GitLab