diff --git a/build.sbt b/build.sbt
index ea83e78441..ecb8de2f75 100644
--- a/build.sbt
+++ b/build.sbt
@@ -67,7 +67,8 @@ lazy val warningSuppression = Seq(
     "msg=undefined in comment for method cf in class PrintableHelper:s",
     // This is deprecated for external users but not internal use
     "cat=deprecation&origin=firrtl\\.options\\.internal\\.WriteableCircuitAnnotation:s",
-    "cat=deprecation&origin=chisel3\\.util\\.experimental\\.BoringUtils.*:s"
+    "cat=deprecation&origin=chisel3\\.util\\.experimental\\.BoringUtils.*:s",
+    "cat=deprecation&origin=chisel3\\.ltl.*:s"
   ).mkString(",")
 )
 
diff --git a/src/main/scala/chisel3/ltl/LTL.scala b/src/main/scala/chisel3/ltl/LTL.scala
index cf4485a940..49f84bb961 100644
--- a/src/main/scala/chisel3/ltl/LTL.scala
+++ b/src/main/scala/chisel3/ltl/LTL.scala
@@ -236,6 +236,7 @@ sealed trait Property {
   def clock(clock: Clock): Property = Property.clock(this, clock)
 
   /** See `Property.disable`. */
+  @deprecated("Use withDisable", "Chisel 6.5")
   def disable(cond: Disable): Property = Property.disable(this, cond)
 }
 
@@ -327,6 +328,7 @@ object Property {
     * condition is true at any time during the evaluation of the property, the
     * evaluation is aborted. Equivalent to `disable iff (cond) prop` in SVA.
     */
+  @deprecated("Use withDisable", "Chisel 6.5")
   def disable(prop: Property, cond: Disable): Property = {
     val ltl_disable = Instantiate(new LTLDisableIntrinsic)
     ltl_disable.in := prop.inner