From 96bbb16c6ac6960baeabcf8b085ea9b4a3fed803 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 6 Nov 2019 19:26:43 +0100
Subject: files_map-editor: add Copy_Source_File.

---
 python/libghdl/thin/files_map_editor.py | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'python/libghdl/thin/files_map_editor.py')

diff --git a/python/libghdl/thin/files_map_editor.py b/python/libghdl/thin/files_map_editor.py
index 7fc1b64c3..bf9492786 100644
--- a/python/libghdl/thin/files_map_editor.py
+++ b/python/libghdl/thin/files_map_editor.py
@@ -8,3 +8,5 @@ Replace_Text.restype = c_bool
 Fill_Text = libghdl.files_map__editor__fill_text_ptr
 
 Check_Buffer_Content = libghdl.files_map__editor__check_buffer_content
+
+Copy_Source_File = libghdl.files_map__editor__copy_source_file
-- 
cgit v1.2.3