diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index cd67649f507f..94079eaac043 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -14560,7 +14560,7 @@ let
 
   iprover = callPackage ../applications/science/logic/iprover {};
 
-  JonPRL = callPackage ../applications/science/logic/jonprl {
+  jonprl = callPackage ../applications/science/logic/jonprl {
     smlnj = if stdenv.isDarwin
       then smlnjBootstrap
       else smlnj;