/*--------------------------------------------------
 header file for function rest
   created by st10 at Tue Oct 25 13:50:00 PDT 2016
--------------------------------------------------*/
#ifndef rest_H
#define rest_H

#include <string>
using namespace std;

string rest(string a_string);

#endif