/* See LICENSE file for copyright and license details. */
#include "common.h"


void
libautomata_reset_mp_automaton(LIBAUTOMATA_MP_AUTOMATON *automaton)
{
	automaton->position = 0;
}