chnge to save it as text file

app.py

@@ -297,16 +297,19 @@ def main():
                 json_data = condition_split(query)
                 shielded_replaced_string = replace_with_shielding(json_data, condition_string)
                 json_rule = form_json_rule(shielded_replaced_string)
+                
+                # Print the JSON rule as plain text
                 st.write("JSON Rule:")
-                st.json(json_rule)
+                st.write(json_rule)
+                
+                # Add a download button for the text file
                 st.download_button(
                     label="Download JSON Rule",
-                    data=json.dumps(json_rule),
-                    file_name="json_rule.json",
-                    mime="application/json"
+                    data=str(json_rule),
+                    file_name="json_rule.txt",
+                    mime="text/plain"
                 )
             else:
                 st.write("Please enter a query.")
-
 if __name__ == '__main__':
     main()