diff options
| author | krasimir <krasimir@chalmers.se> | 2009-09-05 14:04:39 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-09-05 14:04:39 +0000 |
| commit | 95a577d2699128174a3cbed982b358a8730518d9 (patch) | |
| tree | a56a3a1990cc038ad5c96222f1afc2469c90ccbb /GF.cabal | |
| parent | 785ef9224bfe8eb07d599445126278128ec3fcb6 (diff) | |
simple profiler for PMCFG
Diffstat (limited to 'GF.cabal')
| -rw-r--r-- | GF.cabal | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -57,6 +57,9 @@ library GF.Data.Assoc GF.Data.ErrM -- needed only for the on demand generation of PMCFG + GF.Infra.GetOpt + GF.Infra.Option + GF.Data.ErrM GF.Data.BacktrackM GF.Compile.GenerateFCFG GF.Compile.GeneratePMCFG |