diff --git a/nix/meta.nix b/nix/meta.nix
index 30e6430b7fff88b4f5b0c0bd051c850d4ea617d0..a26b150c988f65b7aa6af087d7a1818b3184b281 100644
--- a/nix/meta.nix
+++ b/nix/meta.nix
@@ -1,10 +1,10 @@
 { mk_plugin
-, swiProlog
+, swi-prolog
 }:
 
 mk_plugin {
   plugin-name = "metacsl" ;
   plugin-src = fetchGit { shallow=true ; url=./.. ; } ;
-  additional-check-inputs = [ swiProlog ] ;
+  additional-check-inputs = [ swi-prolog ] ;
   has-wp-proofs = true ;
 }