diff --git a/src/library/io_state_stream.cpp b/src/library/io_state_stream.cpp
index 9c00e2106..68884b8d2 100644
--- a/src/library/io_state_stream.cpp
+++ b/src/library/io_state_stream.cpp
@@ -15,7 +15,6 @@ io_state_stream const & operator<<(io_state_stream const & out, endl_class) {
 }
 
 io_state_stream const & operator<<(io_state_stream const & out, expr_kind const & k) {
-    options const & opts = out.get_options();
     out.get_stream() << k;
     return out;
 }