diff --git a/SimpleSMT.hs b/SimpleSMT.hs
--- a/SimpleSMT.hs
+++ b/SimpleSMT.hs
@@ -678,7 +678,7 @@
 
 -- | Logical shift right.
 bvLShr :: SExpr {- ^ value -} -> SExpr {- ^ shift amount -} -> SExpr
-bvLShr x y = fun "bvshr" [x,y]
+bvLShr x y = fun "bvlshr" [x,y]
 
 -- | Arithemti shift right (copies most significant bit).
 bvAShr :: SExpr {- ^ value -} -> SExpr {- ^ shift amount -} -> SExpr
diff --git a/simple-smt.cabal b/simple-smt.cabal
--- a/simple-smt.cabal
+++ b/simple-smt.cabal
@@ -1,5 +1,5 @@
 name:                simple-smt
-version:             0.5.1
+version:             0.5.2
 synopsis:            A simple way to interact with an SMT solver process.
 description:         A simple way to interact with an SMT solver process.
 license:             BSD3