smilint output for ./MPLS-TE-MIB

No output from smilint! Must be good!