Commit 92dd4191 authored by sternenseemann's avatar sternenseemann
Browse files

gnatPackages.gnatprove: typo fix

parent 5316b98e

pkgs/development/ada-modules/gnatprove/default.nix

+1 −1
Original line number Diff line number Diff line
@@ -59,7 +59,7 @@ let 
  };



  thisSpark = spark2014.${gnat_version} or

    (builtins.throw "GNATprove depend on a specific GNAT version and can't be built using GNAT ${gnat_version}.");

    (builtins.throw "GNATprove depends on a specific GNAT version and can't be built using GNAT ${gnat_version}.");



in

stdenv.mkDerivation rec {