[Getfem-commits] [getfem-commits] branch master updated: Minor fix in scripting API

[Konstantinos Poulios via Getfem-commits]

This is an automated email from the git hooks/post-receive script.

logari81 pushed a commit to branch master
in repository getfem.

The following commit(s) were added to refs/heads/master by this push:
     new 9e1450d7 Minor fix in scripting API
9e1450d7 is described below

commit 9e1450d7c4049ab7bb3d0901c291cbe9e2394653
Author: Konstantinos Poulios <logar...@gmail.com>
AuthorDate: Sun Apr 28 10:34:41 2024 +0200

    Minor fix in scripting API
---
 interface/src/gf_util.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/interface/src/gf_util.cc b/interface/src/gf_util.cc
index 4fed4dab..c36a181f 100644
--- a/interface/src/gf_util.cc
+++ b/interface/src/gf_util.cc
@@ -119,7 +119,7 @@ void gf_util(getfemint::mexargs_in& m_in, 
getfemint::mexargs_out& m_out) {
        );
 
 
-    /*@FUNC tl = ('warning level', @int level)
+    /*@FUNC tl = ('warning level' [, @int level])
       Filter the less important warnings displayed by getfem.
 
       0 means no warnings, default level is 3. if no level is given,