search

aldorlang / aldor

The Aldor Programming Language
http://pippijn.github.io/aldor/
33 stars 11 forks source link

Revert "tfsat.c: Use tformSubst for more sharing in getCatExportsCond… #126

Closed pbroadbery closed 6 years ago

pbroadbery commented 6 years ago

This reverts commit 0df119a776857e0fdc576a441afc67ea330249de.

Caused segfaults when compiling libaxiom