From c64aa2479002e877f3aa11fd7530c3e7e598991f Mon Sep 17 00:00:00 2001
From: Guillaume Claret <dev@clarus.me>
Date: Sun, 10 May 2015 20:59:26 +0200
Subject: [PATCH] s/run/eval/

---
 src/Exception.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Exception.v b/src/Exception.v
index a95a102..9693bd8 100644
--- a/src/Exception.v
+++ b/src/Exception.v
@@ -33,7 +33,7 @@ Definition raise {E : Effect.t} {Exc A : Type} (exc : Exc)
   let! absurd := call (effect E Exc) (Command.Exc exc) in
   match absurd with end.
 
-Definition run {E : Effect.t} {Exc A : Type} (x : C.t (effect E Exc) A)
+Definition eval {E : Effect.t} {Exc A : Type} (x : C.t (effect E Exc) A)
   : C.t E (A + list Exc) :=
   Evaluate.exception (fun (c : Effect.command (effect E Exc)) =>
     match c with