diff --git a/generator/actions.ml b/generator/actions.ml index e8b0ba5b6..990eacb12 100644 --- a/generator/actions.ml +++ b/generator/actions.ml @@ -3184,8 +3184,8 @@ Set the program name. This is an informative string which the main program may optionally set in the handle. When the handle is created, the program name in the handle is -set to the basename from C. If that was not possible, -it is set to the empty string (but never C)." }; +set to the basename from C. The program name can never +be C." }; { defaults with name = "get_program"; added = (1, 21, 29);