diff options
| -rw-r--r-- | org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/IPropertyFSM.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/IPropertyFSM.java b/org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/IPropertyFSM.java index 872b6ae..0344af1 100644 --- a/org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/IPropertyFSM.java +++ b/org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/IPropertyFSM.java @@ -13,7 +13,7 @@ package org.eclipse.cdt.codan.extension; import java.util.Set; /** - * A finite state machine that encodes a temporal state. + * A finite state machine that encodes a temporal property. * It is a set of Property States with defined meanings and transitions. */ public interface IPropertyFSM { |