diff options
Diffstat (limited to 'plugins/cc/ccalgo.ml')
-rw-r--r-- | plugins/cc/ccalgo.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/plugins/cc/ccalgo.ml b/plugins/cc/ccalgo.ml index 40599b827..89e30a8ee 100644 --- a/plugins/cc/ccalgo.ml +++ b/plugins/cc/ccalgo.ml @@ -58,8 +58,6 @@ module ST=struct let query sign st=Hashtbl.find st.toterm sign - let rev_query term st=Hashtbl.find st.tosign term - let delete st t= try let sign=Hashtbl.find st.tosign t in Hashtbl.remove st.toterm sign; |