lengthCoList2.err

--- opening "lengthCoList2.ma" ---
--- scope checking ---
scope check error: convert3
/// Identifier omega' undefined