diff options
author | 2017-10-15 23:31:56 -0700 | |
---|---|---|
committer | 2017-10-16 14:16:39 +0200 | |
commit | 6bf3f268f4a01963a2ee13f60178664bb056a802 (patch) | |
tree | 32a870dc293e07af88f52b241c75d9cbd462f63f /third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/DoubleLiteralNode.java | |
parent | 80a34dc97799961201e6dce20fd58dd08022c032 (diff) |
Update checker framework dataflow and javacutils to 2.1.14
Change-Id: I62ad827fc4bbd54d022097003af63e351e44b98c
Diffstat (limited to 'third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/DoubleLiteralNode.java')
-rw-r--r-- | third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/DoubleLiteralNode.java | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/DoubleLiteralNode.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/DoubleLiteralNode.java index 855a95a7b5..60c25749a4 100644 --- a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/DoubleLiteralNode.java +++ b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/DoubleLiteralNode.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 double literal. For example: @@ -16,7 +15,6 @@ import com.sun.source.tree.Tree; * * @author Stefan Heule * @author Charlie Garrett - * */ public class DoubleLiteralNode extends ValueLiteralNode { |