/*
 * PARSEC HEADER: do_patch.h
 */

#ifndef _DO_PATCH_H_
#define _DO_PATCH_H_


// do_patch.c implements the following functions
// ---------------------------------------------


#endif