change the "claimed set" notation to "set-of" so that David isn't confused

1 files changed, 1 insertions, 1 deletions

diff --git a/grammar.txt b/grammar.txt
index 607d759..516a248 100644
--- a/grammar.txt
+++ b/grammar.txt
@@ -13,7 +13,7 @@ set_field         = "." , lower_ident , ":" , set ;
 variant_set       = "variant" , "[" , [ variant_field { "|" , variant_field } ] , "]" ;
 variant_field     = lower_ident , "." , ":" , set ;
 builtin_set       = "Nat" | "Int" | "Float" | "Str" | "Bool" ;
-claimed_set       = "set" , "(" , instance , ")" ;
+claimed_set       = "set-of" , "(" , instance , ")" ;
 
 signature         = "Set" | theory_sig | function_sig | sig_var | "(" , signature , ")" ;
 theory_sig        = "theory" , "{" , [ sig_field { "," , sig_field } ] , "}" ;