From 110c2be9373bdb52a969dd42819cea7ecb215000 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?St=C3=A9phane=20Del=20Pino?= <stephane.delpino44@gmail.com> Date: Wed, 5 Feb 2025 15:14:38 +0100 Subject: [PATCH] Fix typo in documentation --- doc/userdoc.org | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/userdoc.org b/doc/userdoc.org index 243fbde6a..169f041f3 100644 --- a/doc/userdoc.org +++ b/doc/userdoc.org @@ -2689,9 +2689,9 @@ actually stored in the ~checkpoint.h5~ file, the script is not a command line argument. By now, it is not possible to *simply* modify the script while -resuming. This is done in purpose since it remains unclear if such a -dangerous functionality should be make easy. Indeed allowing -script modifications may lead to undefined behaviors. +resuming. This is done on purpose since it remains unclear if such a +dangerous functionality should be make easy. Indeed allowing script +modifications may lead to undefined behaviors. #+END_note #+BEGIN_warning -- GitLab