Drop obsolete constant

This commit is contained in:
Richard Feldman 2022-12-06 16:14:36 -05:00
parent 8b463686bc
commit e857a91b1b
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B

View file

@ -75,7 +75,6 @@ impl ModuleName {
// NOTE: After adding one of these, go to `impl ModuleId` and
// add a corresponding ModuleId to there!
pub const APP: &'static str = "#UserApp"; // app modules have this hardcoded name
pub const PLATFORM: &'static str = "#Platform"; // platform modules have this hardcoded name
pub const BOOL: &'static str = "Bool";
pub const STR: &'static str = "Str";
pub const NUM: &'static str = "Num";