From 4bfa933f40538180ce54d3fa8c3baa57bb09e969 Mon Sep 17 00:00:00 2001
From: Mart Kolthof <skolthof@cs.uu.nl>
Date: Thu, 24 Aug 2006 10:48:49 +0000
Subject: [PATCH] * Second try

svn path=/nixpkgs/trunk/; revision=6221
---
 pkgs/development/libraries/cil-aterm/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/development/libraries/cil-aterm/default.nix b/pkgs/development/libraries/cil-aterm/default.nix
index 1752ffd36c7a..1b0672f65dbd 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";