Dvlab Open Wiki
list_symbolic_modules not working
- Submitted by: Luca (over comment by Axel)
- Date: Jul 19, 2006
- Assigned to: Luca / Axel
As we discussed, we should remove from Symprog.ml the field smods of a symbolic top-level, together with all associated functions. It doesn't make sense to refer to symbolic modules both by name and by their Ocaml variable.