Fix

coq-io · Feb 20, 2015 · e2f0b0e · e2f0b0e
1 parent 532b95e
commit e2f0b0e
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/README.md b/README.md
@@ -20,11 +20,7 @@ Using OPAM for Coq:
 See the complete documentation online on [doc/io-effects-unix](http://clarus.github.io/doc/io-effects-unix/IoEffectsUnix.Unix.html).
 
 ## Extraction
-To run a program you can extract it to [OCaml](https://ocaml.org/). Install the extraction library:
-
-    opam install coq:io-effects:unix:ocaml
-
-and evaluate:
+To run a program you can extract it to [OCaml](https://ocaml.org/). Do:
 
     Definition main := Extraction.Lwt.run (Extraction.eval hello_world).
     Extraction "main" main.