190ed85
Additional small change to user_defines.v to denote the correct set of definitions that are not used in the caravan project (although that is not relevant here). Only changed comment lines.