diff options
author | Andreas Stöckel <astoecke@techfak.uni-bielefeld.de> | 2014-12-11 22:30:50 +0100 |
---|---|---|
committer | Andreas Stöckel <astoecke@techfak.uni-bielefeld.de> | 2014-12-11 22:30:50 +0100 |
commit | be370445362aff67b70f80567b8cf6099c72ddd8 (patch) | |
tree | 28339e19fc9566c7bc83e38a25f2fdf2f039f514 /src/core | |
parent | d43b75cb459136e1d0c9df5447151069094f341d (diff) | |
parent | 3d1e59ff0b3116255b70f6247137009903cd530b (diff) |
Merge branch 'master' of somweyr.de:ousia
Diffstat (limited to 'src/core')
-rw-r--r-- | src/core/ResourceLocator.hpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/core/ResourceLocator.hpp b/src/core/ResourceLocator.hpp index 36930e9..926b312 100644 --- a/src/core/ResourceLocator.hpp +++ b/src/core/ResourceLocator.hpp @@ -39,11 +39,11 @@ public: */ enum class Type { // A Domain description - DOMAIN, + DOMAIN_DESC, // An ECMA/JavaScript SCRIPT, // A Type System - TYPESYSTEM, + TYPESYS, // TODO: Aren't documents and attribute descriptors missing? // TODO: What is the purpose of these two? GENERIC_MODULE, |