docs: fix references to lustre_main in docs

The docs make mention of a `--lustre_main` flag which was replaced with `--lus_main` in 467f66a
kind2-mc · Oct 3, 2024 · 45551e4 · 45551e4
1 parent f5dc8f9
commit 45551e4
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/doc/usr/source/2_input/1_lustre.rst b/doc/usr/source/2_input/1_lustre.rst
@@ -67,7 +67,7 @@ You can also specify the main node in the command line arguments, with
 
 .. code-block:: none
 
-   kind2 --lustre_main <node_name> ...
+   kind2 --lus_main <node_name> ...
 
 Main nodes specified by the command line option override main nodes annotated in the source code. If any main nodes exist then only main nodes are analyzed (top nodes are not).
 

diff --git a/doc/usr/source/9_other/8_interpreter.rst b/doc/usr/source/9_other/8_interpreter.rst
@@ -6,7 +6,7 @@ Interpreter
 The interpreter is a special mode where Kind 2 reads input values from
 a file and prints the computed values for the output and local variables
 of a node at each step. If the Lustre file contains two or more top nodes,
-a single node must be selected with either the command-line option :code:`--lustre_main <node_name>` or
+a single node must be selected with either the command-line option :code:`--lus_main <node_name>` or
 a single :code:`--%MAIN` annotation in the Lustre file.
 
 To use the interpreter, run:

diff --git a/src/lustre/lustreInput.mli b/src/lustre/lustreInput.mli
@@ -41,7 +41,7 @@
 
     The main node is chosen to be, in order of precedence:
 
-    - the node with the name given by the [--lustre_main] command-line
+    - the node with the name given by the [--lus_main] command-line
       option,
     - the node with the annotation [--%MAIN], or
     - the last node in the input.