diff options
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/cuirass.in | 3 | ||||
| -rw-r--r-- | bin/evaluate.in | 3 |
2 files changed, 2 insertions, 4 deletions
diff --git a/bin/cuirass.in b/bin/cuirass.in index ff2cc90..0d34636 100644 --- a/bin/cuirass.in +++ b/bin/cuirass.in @@ -20,8 +20,7 @@ exec ${GUILE:-@GUILE@} --no-auto-compile -e main -s "$0" "$@" ;;; You should have received a copy of the GNU General Public License ;;; along with Cuirass. If not, see <http://www.gnu.org/licenses/>. -(use-modules (cuirass base) - (cuirass database) +(use-modules (cuirass) (cuirass ui) (cuirass utils) (ice-9 getopt-long)) diff --git a/bin/evaluate.in b/bin/evaluate.in index 239bdcc..f0542ce 100644 --- a/bin/evaluate.in +++ b/bin/evaluate.in @@ -23,8 +23,7 @@ exec ${GUILE:-@GUILE@} --no-auto-compile -e main -s "$0" "$@" ;;; You should have received a copy of the GNU General Public License ;;; along with Cuirass. If not, see <http://www.gnu.org/licenses/>. -(use-modules (cuirass base) - (cuirass database) +(use-modules (cuirass) (cuirass utils) (ice-9 match) (ice-9 pretty-print) |