From 44ad67ca8c0f1b5d0777d864923ed40bc590c31e Mon Sep 17 00:00:00 2001
From: Peter Johnson <johnson.peter@gmail.com>
Date: Sun, 9 May 2021 18:20:42 -0700
Subject: [PATCH] [wpilibj] Preferences: Add missing Deprecated annotation
 (#3343)

---
 wpilibj/src/main/java/edu/wpi/first/wpilibj/Preferences.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/wpilibj/src/main/java/edu/wpi/first/wpilibj/Preferences.java b/wpilibj/src/main/java/edu/wpi/first/wpilibj/Preferences.java
index 43a8b02ac3..743c37c085 100644
--- a/wpilibj/src/main/java/edu/wpi/first/wpilibj/Preferences.java
+++ b/wpilibj/src/main/java/edu/wpi/first/wpilibj/Preferences.java
@@ -161,6 +161,7 @@ public final class Preferences {
    * @param value the value
    * @deprecated Use {@link #setDouble(String, double)}
    */
+  @Deprecated
   public void putDouble(String key, double value) {
     setDouble(key, value);
   }