diff --git a/python/proxy.hpp b/python/proxy.hpp index 3750cc1b03732eb278d89847cf2198777da93070..640db753574443439a6de3909dba343c348fa9af 100644 --- a/python/proxy.hpp +++ b/python/proxy.hpp @@ -70,7 +70,7 @@ struct label_dict_proxy { } else { // Successfully parsed an expression that is neither region nor locset. - throw util::pprintf("The defninition of '{} = {}' does not define a valid region or locset.", name, desc); + throw util::pprintf("The definition of '{} = {}' does not define a valid region or locset.", name, desc); } // The entry was added succesfully: store it in the cache. cache[name] = desc;