minor

nyu-acsys · May 7, 2024 · 4171659 · 4171659
1 parent 1ad5707
commit 4171659
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/lib/ast/astDef.ml b/lib/ast/astDef.ml
@@ -717,8 +717,8 @@ module Expr = struct
     | Binder (b, vs, trgs, e1, _) ->
         fprintf ppf "%a" pr_binder (b, vs, trgs, e1, to_type e)
 
-  (* and pr ppf e = pr_compact ppf e *)
-  and pr ppf e = pr_verbose ppf e
+  and pr ppf e = pr_compact ppf e
+  (* and pr ppf e = pr_verbose ppf e *)
 
   and pr_list ppf = Print.pr_list_comma pr ppf
 

diff --git a/test/ci/front-end/cas_rewriter_test.rav b/test/ci/front-end/cas_rewriter_test.rav
@@ -1,4 +1,4 @@
-field f: Library.Nat
+field f: Int
 
 func g(x: Ref) 
   returns (y: Ref)
@@ -10,7 +10,7 @@ inv my_inv(x: Ref) {
 
 proc p(x:Ref) 
   requires my_inv(x)
-  requires own(x, f, 1)
+  requires own(x, f, 1, 1.0)
 {
   // x.f := 0;
   unfold my_inv(x);