1 files changed, 2 insertions, 5 deletions
diff --git a/lib/protocols/Program.ml b/lib/protocols/Program.ml
index 49e6e2d..5b618e6 100644
--- a/lib/protocols/Program.ml
+++ b/lib/protocols/Program.ml
@@ -4,10 +4,7 @@ end
 
 module Make (P : PROGRAM) = struct
   class type implementation = object
-    method invoke :
-      program:P.t ->
-      Context.t ->
-      (Handle.t, Concepts.Condition.condition) result
+    method invoke : P.t -> (Handle.t, Concepts.Condition.condition) result
   end
 
   type Handle.protocol += Program of implementation
@@ -16,5 +13,5 @@ module Make (P : PROGRAM) = struct
 
   let make impl = Program (impl :> implementation)
   let from handle = Handle.into handle (function Program impl -> Some impl | _ -> None)
-  let invoke i ~program ctx = Handle.invoke i (fun o -> o#invoke ~program ctx)
+  let invoke i program = Handle.invoke i (fun o -> o#invoke program)
 end