fix typo in ott file

rems-project · Sep 4, 2024 · ec32bd0 · ec32bd0
1 parent 1f1a5cf
commit ec32bd0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/language/sail.ott b/language/sail.ott
@@ -285,8 +285,8 @@ n_constraint :: 'NC_' ::=
   | nexp '<=' nexp'                  :: :: le
   | nexp '<' nexp'                   :: :: lt
   | nexp 'IN' { num1 , ... , numn }  :: :: set
-  | n_constraint & n_constraint'     :: :: or
-  | n_constraint | n_constraint'     :: :: and
+  | n_constraint & n_constraint'     :: :: and
+  | n_constraint | n_constraint'     :: :: or
   | id ( typ_arg0 , ... , typ_argn ) :: :: app
   | id                               :: :: id
   | kid                              :: :: var