diff options
Diffstat (limited to 'third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/FloatLiteralNode.java')
| -rw-r--r-- | third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/FloatLiteralNode.java | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/FloatLiteralNode.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/FloatLiteralNode.java index 518c974868..ee8b5103ed 100644 --- a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/FloatLiteralNode.java +++ b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/FloatLiteralNode.java @@ -1,10 +1,9 @@ package org.checkerframework.dataflow.cfg.node; -import java.util.Collection; -import java.util.Collections; - import com.sun.source.tree.LiteralTree; import com.sun.source.tree.Tree; +import java.util.Collection; +import java.util.Collections; /** * A node for a float literal. For example: @@ -16,7 +15,6 @@ import com.sun.source.tree.Tree; * * @author Stefan Heule * @author Charlie Garrett - * */ public class FloatLiteralNode extends ValueLiteralNode { |