From 4de9689135b3077e8fe9a935127285512465d7c2 Mon Sep 17 00:00:00 2001
From: Ron Dreslinski <rdreslin@umich.edu>
Date: Thu, 24 Feb 2005 11:34:58 -0500
Subject: [PATCH] Print an error message if a Checkpoint number was defined,
 but no checkpoint file was sourced

--HG--
extra : convert_revision : 302c1d6720c0ee24fcfc266cd99f501af734a452