From 450bda69837b02c20d2fb391bbe7827d1becaac4 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 14 Jul 2020 16:08:58 +0100 Subject: Change name to Vericert --- src/common/Statemonad.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/common/Statemonad.v') diff --git a/src/common/Statemonad.v b/src/common/Statemonad.v index ed1b9e7..2eada2f 100644 --- a/src/common/Statemonad.v +++ b/src/common/Statemonad.v @@ -1,5 +1,5 @@ From compcert Require Errors. -From coqup Require Import Monad. +From vericert Require Import Monad. From Coq Require Import Lists.List. Module Type State. -- cgit