let as_expected expected found = (* ignores "term" field *)
let outcome = ref true in
+ if expected.emetasenv <> found.emetasenv then begin
+ print_msg "Metasenv mismatch";
+ print_msg " expected:";
+ print_msg (" " ^ expected.emetasenv);
+ print_msg " found:";
+ print_msg (" " ^ found.emetasenv);
+ outcome := false;
+ end;
if expected.eterm <> found.eterm then begin
print_msg "Term mismatch";
print_msg " expected:";