Skip to content
Snippets Groups Projects
Unverified Commit c3bd76a6 authored by Sankalp Gambhir's avatar Sankalp Gambhir Committed by GitHub
Browse files

Remove old substitution (#178) 

* Remove Substitution2

* Remove second order unifier, remove ref to first order unifier

* Remove UnificationUtils2

* scala{fix, fmt}

* Removed FIrstOrderUnifier

* Fix matching tests
parent 8281801a
Branches
No related tags found
No related merge requests found
Expand all Hide whitespace changes
Inline Side-by-side
Showing
with 398 additions and 1682 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment