1.1 --- a/lplc Tue Oct 11 16:27:24 2016 +0200
1.2 +++ b/lplc Tue Oct 11 16:29:50 2016 +0200
1.3 @@ -3,7 +3,7 @@
1.4 from errors import *
1.5 from os.path import abspath, exists, join, split
1.6 from time import time
1.7 -import importer, deducer
1.8 +import importer, deducer, optimiser
1.9 import sys
1.10
1.11 libdirs = [
1.12 @@ -65,6 +65,11 @@
1.13
1.14 now = stopwatch("Deduction", now)
1.15
1.16 + o = optimiser.Optimiser(i, d, "_output")
1.17 + o.to_output()
1.18 +
1.19 + now = stopwatch("Optimisation", now)
1.20 +
1.21 # Report any errors.
1.22
1.23 except ProcessingError, exc: