comparison src/mono.sml @ 2252:e843a04499d4

Revert to revision 2222.
author Ziv Scully <ziv@mit.edu>
date Mon, 21 Sep 2015 10:16:55 -0400
parents 25874084bf1f
children 8428c534913a
comparison
equal deleted inserted replaced
2251:25874084bf1f 2252:e843a04499d4
166 datatype dbmode = 166 datatype dbmode =
167 NoDb 167 NoDb
168 | OneQuery 168 | OneQuery
169 | AnyDb 169 | AnyDb
170 170
171 type file = {decls : decl list, sideInfo : (int * sidedness * dbmode) list} 171 type file = decl list * (int * sidedness * dbmode) list
172 172
173 end 173 end