diff options
Diffstat (limited to 'states/MakeInitialNew.v')
| -rw-r--r-- | states/MakeInitialNew.v | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/states/MakeInitialNew.v b/states/MakeInitialNew.v index 8a321839b..02235e1b8 100644 --- a/states/MakeInitialNew.v +++ b/states/MakeInitialNew.v @@ -5,6 +5,6 @@ (* // * This file is distributed under the terms of the *) (* * GNU Lesser General Public License Version 2.1 *) (***********************************************************************) -Require Export Prelude; -Require Export Logic_Type; -Require Export Logic_TypeSyntax; +Require Export Prelude. +Require Export Logic_Type. +Require Export Logic_TypeSyntax. |