id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,planetversion,pltversion 174,Error in require,pocmatos@…,schematics,"When I require the package in 4.1.5.3 I get: > (require (planet schematics/benchmark:2:0)) module: identifier is already imported module: identifier is already imported module: identifier is already imported setup-plt: error: during making for /schematics/port.plt/1/3 (port) setup-plt: module: identifier is already imported setup-plt: error: during making for /schematics/port.plt/1/3/scribblings setup-plt: module: identifier is already imported setup-plt: error: during Building docs for /home/pmatos/.plt-scheme/planet/300/4.1.5.3/cache/schematics/port.plt/1/3/scribblings/port.scrbl setup-plt: module: identifier is already imported module: identifier is already imported module: identifier is already imported setup-plt: error: during making for /schematics/benchmark.plt/2/0 (Benchmark) setup-plt: module: identifier is already imported setup-plt: error: during Building docs for /home/pmatos/.plt-scheme/planet/300/4.1.5.3/cache/schematics/benchmark.plt/2/0/scribblings/benchmark.scrbl setup-plt: module: identifier is already imported . .plt-scheme/planet/300/4.1.5.3/cache/schematics/port.plt/1/3/port.ss:57:9: module: identifier is already imported in: port->string",defect,closed,major,,schematics/benchmark.plt,,"error, require",,(2 0),4.1.5.3