From c8bd8a41db39e13129ca60a23abda26d6af898b7 Mon Sep 17 00:00:00 2001 From: jihgfee Date: Thu, 11 Jul 2019 11:03:20 +0200 Subject: [PATCH] Bumped map_reduce --- theories/examples/map_reduce.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/theories/examples/map_reduce.v b/theories/examples/map_reduce.v index 66a18ed..6d872ce 100644 --- a/theories/examples/map_reduce.v +++ b/theories/examples/map_reduce.v @@ -1,7 +1,7 @@ From actris.channel Require Import proto_channel proofmode. From iris.heap_lang Require Import proofmode notation. From actris.utils Require Import llist compare contribution group. -From actris.examples Require Import map sort_fg_client. +From actris.examples Require Import map sort_fg. From iris.algebra Require Import gmultiset. (** Functional version of map reduce (aka the specification) *) -- GitLab