Update app.py

app.py

@@ -20,7 +20,6 @@ with col3:
 st.write("#### Description")
 description = st.text_input(label="", placeholder="An optional natural language description of the operation", value="add two vectors with broadcasting to get a matrix")
 with st.expander("⚙️ Search Options", expanded=False):
-    st.sidebar.header("Settings:")
     settings_kwargs = dict()
     settings_kwargs["require_all_inputs_used"] = st.checkbox("Require All Inputs", value=True)
     settings_kwargs["only_minimal_solutions"] = st.checkbox("Only Minimal Solutions", value=False)