# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1622726503 -7200
# Node ID c605a0d6506f6ef43492ea6611937cd9cc3e1311
# Parent  f9a5b810f14d5249988ee1c62ee356acf8ec8a1d
bridge (constructor/base_constructor): add `args_no_default` to `completion`

diff -r f9a5b810f14d -r c605a0d6506f sat/bridge/bridge_constructor/base_constructor.py
--- a/sat/bridge/bridge_constructor/base_constructor.py	Thu Jun 03 15:20:47 2021 +0200
+++ b/sat/bridge/bridge_constructor/base_constructor.py	Thu Jun 03 15:21:43 2021 +0200
@@ -49,7 +49,7 @@
     FRONTEND_TEMPLATE = None
     FRONTEND_DEST = None
 
-    # set to False if your bridge need only core
+    # set to False if your bridge needs only core
     FRONTEND_ACTIVATE = True
 
     def __init__(self, bridge_template, options):
@@ -284,6 +284,7 @@
                 "args": self.getArguments(
                     function["sig_in"], name=arg_doc, default=default
                 ),
+                "args_no_default": self.getArguments(function["sig_in"], name=arg_doc),
             }
 
             extend_method = getattr(