Remove unused toplevel predicate

diff --git a/src/lib_toplevel.pl b/src/lib_toplevel.pl
index 1fb287c0bd53eed94cef644b61ca82add5e4f54b..4b13f9a4b6c2e85c3688400e82bd4689ade81b30 100644 (file)
--- a/src/lib_toplevel.pl
+++ b/src/lib_toplevel.pl
@@ -205,31 +205,3 @@ write_eqs(B, VarList) :-
        write_eq(ThreadedGoals, NewVarList0, 200000),
        write(';'), nl, false
     ).
-
-
-
-
-toplevel :-
-        read_term(Goal, [variable_names(VNs)]),
-        Goal,
-        write('bindings(['),
-        write_bindings(VNs),
-        write(']).'),
-        nl,
-        false.
-
-write_bindings([]).
-write_bindings([VN|VNs]) :-
-        write_bindings_(VNs, VN).
-
-write_bindings_([], VN) :-
-        write_binding(VN).
-write_bindings_([VN|VNs], Prev) :-
-        write_binding(Prev),
-        write(','),
-        write_bindings_(VNs, VN).
-
-write_binding(Var=Val) :-
-        write(Var),
-        write(=),
-        write_term(Val, [quoted(true),double_quotes(true)]).
\ No newline at end of file