mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 02:15:19 +00:00
missing space
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
parent
5b2dced157
commit
1ad7458d9f
|
@ -1120,7 +1120,7 @@ class JavaExampleComponent(ExampleComponent):
|
|||
out.write('_ex_%s: %s' % (self.name, pkg))
|
||||
deps = ''
|
||||
for jfile in get_java_files(self.ex_dir):
|
||||
out.write(os.path.join(self.to_ex_dir, jfile))
|
||||
out.write(' %s' % os.path.join(self.to_ex_dir, jfile))
|
||||
if IS_WINDOWS:
|
||||
deps = deps.replace('/', '\\')
|
||||
out.write('%s\n' % deps)
|
||||
|
|
Loading…
Reference in a new issue