diff options
author | 2014-05-30 12:00:00 -0400 | |
---|---|---|
committer | 2014-05-30 12:00:00 -0400 | |
commit | 8766bd82ba931a28976319fe5bd76dc97d1218d6 (patch) | |
tree | 9c7471435de63289f8b7568d2faf513db8084af5 /src/expl_print.sig | |
parent | dc336268adfbf2b05b34ab006de5990f8ce9086c (diff) |
Removes DBMS choice override from compiler.sml (which was there for debugging).
Diffstat (limited to 'src/expl_print.sig')
0 files changed, 0 insertions, 0 deletions