From 4352088b40bfa0efdeaf80e9e71ad9d8cfca9216 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 24 Jun 2021 13:47:52 +0000
Subject: [PATCH] mention a concrete language
---
iris_heap_lang/lang.v | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/iris_heap_lang/lang.v b/iris_heap_lang/lang.v
index 6a126402e..49c537d76 100644
--- a/iris_heap_lang/lang.v
+++ b/iris_heap_lang/lang.v
@@ -81,7 +81,7 @@ Inductive un_op : Set :=
Inductive bin_op : Set :=
(** We use "quot" and "rem" instead of "div" and "mod" to
better match the behavior of 'real' languages:
- -30/-4 == 7. ("div" would return 8.) *)
+ e.g., in Rust, -30/-4 == 7. ("div" would return 8.) *)
| PlusOp | MinusOp | MultOp | QuotOp | RemOp (* Arithmetic *)
| AndOp | OrOp | XorOp (* Bitwise *)
| ShiftLOp | ShiftROp (* Shifts *)
--
GitLab