** This is part of the CTSim program
** Copyright (C) 1983-2000 Kevin Rosenberg
**
-** $Id: pol.cpp,v 1.3 2000/12/04 05:36:57 kevin Exp $
+** $Id: pol.cpp,v 1.4 2000/12/20 14:39:09 kevin Exp $
**
** This program is free software; you can redistribute it and/or modify
** it under the terms of the GNU General Public License (version 2) as
}
void
-set_inputline (char *line)
+set_inputline (const char const *line)
{
lineptr = 0;
bp = 0;