1. Sébastien Ferré
  2. Sewelis

Commits

Sébastien Ferré  committed c301c72

[lisql_ast] small bug fix

  • Participants
  • Parent commits d87c550
  • Branches master

Comments (0)

Files changed (1)

File src/lisql_ast.ml

View file
  • Ignore whitespace
 	true
   | Struct (funct1,args1), Type a2 ->
       a2 = Term.uri_Term
-  | Struct (funct1,args1), Role (RAtom (Fwd, a2), top_s1) ->
+  | Struct (funct1,args1), Role (RAtom (Fwd, a2), Det (Qu (An,_), Thing)) ->
       begin
 	try
 	  let i2 = Term.rank_of_arg a2 in
 	0 (Array.length args1 - 1)
 	true &&
       entails_s1 ~obs store st1 st2
-  | Arg (funct1,i1,args1,st1), Role (RAtom (Bwd, a2), top_s1) ->
+  | Arg (funct1,i1,args1,st1), Role (RAtom (Bwd, a2), Det (Qu (An,_),Thing)) ->
       (a2 = Term.uri_arg i1 ||
       a2 = Term.uri_argAny ||
       a2 = Term.uri_subterm)