s/run/eval/

coq-io · May 10, 2015 · c64aa24 · c64aa24
1 parent 8164b99
commit c64aa24
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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