Change PASTHEMIS to match PAS

VNOI-Admin · Jan 2, 2024 · bc80032 · bc80032
1 parent 42c9e66
commit bc80032
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dmoj/executors/PASTHEMIS.py b/dmoj/executors/PASTHEMIS.py
@@ -11,4 +11,4 @@ def get_compile_args(self) -> List[str]:
         command = self.get_command()
         assert command is not None
         assert self._code is not None
-        return [command, '-Fe/dev/stderr', '-dTHEMIS', '-O2', '-XS', '-Sg', '-Cs66060288', self._code]
+        return [command, '-Fe/dev/stderr', '-dTHEMIS', '-O2', '-XS', '-Sg', '-Cs66060288', *self.flags, self._code]