LOL

rescala-lang · Feb 22, 2024 · 70e733e · 70e733e
1 parent 3d5b599
commit 70e733e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Modules/Example Replication/shared/src/main/scala/replication/DataManager.scala b/Modules/Example Replication/shared/src/main/scala/replication/DataManager.scala
@@ -94,7 +94,7 @@ class DataManager[State: JsonValueCodec: DottedLattice: Bottom: HasDots](
     View(localBuffer, remoteDeltas, localDeltas).flatten
   }
 
-  def requestMissingBinding[PushBinding[Dots]] =
+  def requestMissingBinding: PushBinding[Dots] =
     @unused // this is a lie, but sometimes the compiler is confused
     given IdenticallyTransmittable[Dots] = IdenticallyTransmittable[Dots]()
     Binding[Dots => Unit]("requestMissing")