diff options
Diffstat (limited to 'src/GF/CF/Profile.hs')
| -rw-r--r-- | src/GF/CF/Profile.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/GF/CF/Profile.hs b/src/GF/CF/Profile.hs index 6dbb5f85a..1b821d53a 100644 --- a/src/GF/CF/Profile.hs +++ b/src/GF/CF/Profile.hs @@ -33,6 +33,7 @@ type BindVs = [[I.Ident]] -- (2) term2trm: restore Bindings from Binds tree2term :: CFTree -> Err ITerm +-- tree2term (CFTree (f,(_,[t]))) | f == dummyCFFun = tree2term t -- not used tree2term (CFTree (cff@(CFFun (fun,pro)), (_,trees))) = case fun of AM _ -> return IMeta _ -> do |