Remove useless \n in the example.

Author: hzhangxyz

examples/main.mjs

@@ -9,7 +9,7 @@ function main() {
     const search = new search_t(temp_data_size, single_result_size);
 
     // P -> Q, P |- Q
-    search.add("(`P -> `Q) `P `Q\n");
+    search.add("(`P -> `Q) `P `Q");
     // p -> (q -> p)
     search.add("(`p -> (`q -> `p))");
     // (p -> (q -> r)) -> ((p -> q) -> (p -> r))

examples/main.py

@@ -11,7 +11,7 @@ def main():
     search = pyds.Search(temp_data_size, single_result_size)
 
     # P -> Q, P |- Q
-    search.add("(`P -> `Q) `P `Q\n")
+    search.add("(`P -> `Q) `P `Q")
     # p -> (q -> p)
     search.add("(`p -> (`q -> `p))")
     # (p -> (q -> r)) -> ((p -> q) -> (p -> r))