Skip to content
Snippets Groups Projects
Commit 634b7762 authored by Sebastian Krings's avatar Sebastian Krings
Browse files

fix comment

parent 627771cf
No related branches found
No related tags found
No related merge requests found
......@@ -181,7 +181,7 @@ public class ModelTranslator extends AbstractComponentTranslator {
}
private void collectPragmas() throws RodinDBException {
// unit pragma, attached to constants
// unit pragma, attached to variables
try {
final IAttributeType.String UNITATTRIBUTE = RodinCore
.getStringAttrType("de.prob.units.unitPragmaAttribute");
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment