diff --git a/sygus_learner.py b/sygus_learner.py
index ec8b3d9a5ac6bfa6f33f3227812362caf1369b6f..1a2e83baaeab2465b187bf541f0fd8e6bfec6e5d 100644
--- a/sygus_learner.py
+++ b/sygus_learner.py
@@ -11,7 +11,7 @@ class SygusLearner(LearnerBase):
     def __init__(self, state_dim, perc_dim, timeout=10000):
         self.file = 'shapes_split.sl'
         self.template_file = 'template_sygus.sl'
-        shutil.copyfile(self.template_file, self.file )
+        shutil.copyfile(self.template_file, self.file)
 
     def set_grammar(self, grammar) -> None:
         raise NotImplementedError