1 files changed, 0 insertions, 2 deletions
diff --git a/default.nix b/default.nix
index d0bb746..4569d22 100644
--- a/default.nix
+++ b/default.nix
@@ -6,6 +6,4 @@ stdenv.mkDerivation {
 
   buildInputs = [ coq_8_10 ocamlPackages.menhir dune
                   ocaml ocamlPackages.findlib ];
-
-  buildPhase = "make";
 }