topLevel patched for compilation: -B and -MB don't work
+(* FG: Mettere a posto qui.
let list_of_must,can = MQueryLevels.out_restr [] [] term in
let len = List.length list_of_must in
let must = if level < len then List.nth list_of_must level else can in
let list_of_must,can = MQueryLevels.out_restr [] [] term in
let len = List.length list_of_must in
let must = if level < len then List.nth list_of_must level else can in
-
- let r = Gen.searchPattern must can in
+ let r = [] (* FG e anche qui: Gen.searchPattern must can *) in
let t1 = Sys.time () -. t0 in
let info = Gen.get_query_info () in
let num = List.nth info 0 in
let t1 = Sys.time () -. t0 in
let info = Gen.get_query_info () in
let num = List.nth info 0 in