diff options
| author | Scott Shawcroft <scott@tannewt.org> | 2018-07-31 16:53:54 -0700 |
|---|---|---|
| committer | Scott Shawcroft <scott@tannewt.org> | 2018-08-07 14:58:57 -0700 |
| commit | 933add6cd833bb6ba6682ad2b6eb478871415ff5 (patch) | |
| tree | 8cb5ee1feb0516c24ee270fcee5ed00d310aced8 /shared-bindings/util.c | |
| parent | 2029c4e87e3e71ada07c8be91fe6877edf4a606b (diff) | |
Support internationalisation.
Diffstat (limited to 'shared-bindings/util.c')
| -rw-r--r-- | shared-bindings/util.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/shared-bindings/util.c b/shared-bindings/util.c index 3dadc4c18..80a0bdaeb 100644 --- a/shared-bindings/util.c +++ b/shared-bindings/util.c @@ -30,11 +30,12 @@ #include "py/runtime.h" #include "shared-bindings/util.h" +#include "supervisor/shared/translate.h" // Check if pin is None. If so, deinit() has already been called on the object, so complain. void raise_error_if_deinited(bool deinited) { if (deinited) { - mp_raise_ValueError("Object has been deinitialized and can no longer be used. Create a new object."); + mp_raise_ValueError(translate("Object has been deinitialized and can no longer be used. Create a new object.")); } } |