#include <string>
using namespace std;

#include "tokenize.h"

void pretty_print_error(vector<string> history, CodePosition pos);