diff --git a/pkgs/development/libraries/cil-aterm/default.nix b/pkgs/development/libraries/cil-aterm/default.nix
index 1752ffd36c7..1b0672f65db 100644
--- a/pkgs/development/libraries/cil-aterm/default.nix
+++ b/pkgs/development/libraries/cil-aterm/default.nix
@@ -1,4 +1,4 @@
-{ stdenv, fetchurl, ocaml, perl }:
+{ stdenv, fetchurl, ocaml3080, perl }:
 
 stdenv.mkDerivation {
   name    = "cil-aterm-1.3.4";