WHIPPING, punishment. The infliction of stripes.
3. The punishment of whipping, so far as the same was provided by the laws of the United States, was abolished by the act of congress of February 28, 1839, s. 5. Vide 1 Chit. Cr. Law, 796; Dane's Ab. Index, h. t.