diff --git a/rust/ql/lib/ext/generated/option/lang::core.model.yml b/rust/ql/lib/ext/generated/option/lang__core.model.yml similarity index 100% rename from rust/ql/lib/ext/generated/option/lang::core.model.yml rename to rust/ql/lib/ext/generated/option/lang__core.model.yml