Cook green beans according to package directions, but reduce cooking time by 2 minutes to that beans are crisp. Drain beans and toss with chopped carrot, onion, salt, and dressing. Chill in a covered contain for several hours.