diff --git a/devito/exceptions.py b/devito/exceptions.py index 2c93d457cf..b15c5fd32f 100644 --- a/devito/exceptions.py +++ b/devito/exceptions.py @@ -18,7 +18,7 @@ class CompilationError(DevitoError): """ -class InvalidArgument(DevitoError): +class InvalidArgument(ValueError, DevitoError): """ Raised by the runtime system when an `op.apply(...)` argument, either a default argument or a user-provided one ("override"), is not valid.