diff options
Diffstat (limited to 'python')
| -rw-r--r-- | python/libghdl/thin/files_map_editor.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/python/libghdl/thin/files_map_editor.py b/python/libghdl/thin/files_map_editor.py index e19317d0e..7fc1b64c3 100644 --- a/python/libghdl/thin/files_map_editor.py +++ b/python/libghdl/thin/files_map_editor.py @@ -1,6 +1,10 @@ +from ctypes import c_int32, c_char_p, c_bool from libghdl import libghdl Replace_Text = libghdl.files_map__editor__replace_text_ptr +Replace_Text.argstype = [c_int32, c_int32, c_int32, c_int32, c_char_p, c_int32] +Replace_Text.restype = c_bool + Fill_Text = libghdl.files_map__editor__fill_text_ptr Check_Buffer_Content = libghdl.files_map__editor__check_buffer_content |