diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-07T07·43+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-07T07·43+0000 |
| commit | 224c585aba5e450fa47e41c4cc19dac2d0c6fe2a (patch) | |
| tree | c01d0ce342be0d7aacb7c95e8b8f85d6cd4ec53f /src/fix.cc | |
| parent | 7952a8053c474e771d6ee14e3ab6dc15c9ddd895 (diff) | |
* Refactoring on the file names.
Diffstat (limited to 'src/fix.cc')
| -rw-r--r-- | src/fix.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/fix.cc b/src/fix.cc index 33bcdd9a13..fdf12ffef5 100644 --- a/src/fix.cc +++ b/src/fix.cc @@ -2,8 +2,8 @@ #include <iostream> #include "globals.hh" -#include "eval.hh" -#include "values.hh" +#include "fstate.hh" +#include "store.hh" #include "shared.hh" |