diff --git a/dmoj/executors/PASTHEMIS.py b/dmoj/executors/PASTHEMIS.py index a720e0fe9..948d14cbd 100644 --- 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]