aboutsummaryrefslogtreecommitdiff
path: root/src/testsuite/interpreter/sf-2491986.input
diff options
context:
space:
mode:
authorGabriel Dos Reis <GabrielDosReis@users.noreply.github.com>2022-08-27 19:36:39 -0700
committerGitHub <noreply@github.com>2022-08-27 19:36:39 -0700
commit069c7d86ef4c4047bcd5d20cda1045c9ce35457d (patch)
tree42e16dfe95daa928114e24a296ce9b2e1fb960cc /src/testsuite/interpreter/sf-2491986.input
parent8e451b6ece535c7fa55f0dc88ab94b48f03c598c (diff)
downloadopen-axiom-069c7d86ef4c4047bcd5d20cda1045c9ce35457d.tar.gz
Remove reference to PRELET and RELET (#20)
Diffstat (limited to 'src/testsuite/interpreter/sf-2491986.input')
0 files changed, 0 insertions, 0 deletions