Fixed generated goodies file: removed 'None'

smarie · smarie · commit 4c8a53598abd · 2018-01-26T16:12:52.000+01:00
diff --git a/code_generation/mini_lambda_methods_generation.py b/code_generation/mini_lambda_methods_generation.py
@@ -98,7 +98,7 @@ def __str__(self):
 class Goodie:
     def __init__(self, item_name: str, function_name: Optional[str] = None,
                  constant_name: Optional[str] = None, class_name: Optional[str] = None,
-                 import_line: Optional[str] = None):
+                 import_line: Optional[str] = ''):
         pass
 
     def __str__(self):
