diff options
author | 2017-02-05 16:01:50 +0100 | |
---|---|---|
committer | 2017-02-05 16:06:06 +0100 | |
commit | ac096aa2a0921efde96b76252dffb119dcf27efc (patch) | |
tree | 2ad9a28a7f6babce8cfcbf5995e3e055ff13ff60 /3rdparty/sol2/single.py | |
parent | 29df715138452ee18ba19ec4b07e18c4b3185de7 (diff) |
Update sol2 (nw)
Diffstat (limited to '3rdparty/sol2/single.py')
-rw-r--r-- | 3rdparty/sol2/single.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/3rdparty/sol2/single.py b/3rdparty/sol2/single.py index f53a9410320..7607d51e530 100644 --- a/3rdparty/sol2/single.py +++ b/3rdparty/sol2/single.py @@ -148,7 +148,7 @@ if not args.quiet: print('Current version: {version} (revision {revision})\n'.format(version = version, revision = revision)) -processed_files = [os.path.join(script_path, 'sol', x) for x in ('state.hpp', 'object.hpp', 'function.hpp', 'coroutine.hpp')] +processed_files = [os.path.join(script_path, x) for x in ['sol.hpp']] result = '' ss = StringIO() |