Verified Commit 44f2e54d authored by
Make allTypeSynonyms lazy in its first result, as it is not always needed
It is for example used as an argument to `prepare_unification`. There are cases however where this function is only called when unification is requested by the user, and otherwise no `prepare_unification` call is made.
Showing with 2 additions and 2 deletions