Update a Coq definition

AeneasVerif · Nov 13, 2024 · 8f88171 · 8f88171
1 parent 2b75126
commit 8f88171
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/coq/misc/External_FunsExternal.v b/tests/coq/misc/External_FunsExternal.v
@@ -17,7 +17,7 @@ Axiom core_cell_Cell_get :
 Axiom core_cell_Cell_get_mut :
   forall{T : Type},
         core_cell_Cell_t T -> state -> result (state * (T * (T -> state ->
-          result (state * (core_cell_Cell_t T)))))
+          state * (core_cell_Cell_t T))))
 .
 
 End External_FunsExternal.