diff options
Diffstat (limited to 'src/Assembly/LL.v')
-rw-r--r-- | src/Assembly/LL.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Assembly/LL.v b/src/Assembly/LL.v index e0588214c..60587eb19 100644 --- a/src/Assembly/LL.v +++ b/src/Assembly/LL.v @@ -92,7 +92,7 @@ Module LL. Transparent interp interp_arg. Example example_expr : - (@interp Z (ZEvaluable (n := 32)) _ + (@interp Z (ZEvaluable) _ (LetBinop OPadd (Const 7%Z) (Const 8%Z) (fun v => Return v)) = 15)%Z. Proof. reflexivity. Qed. |