From 397cb2b349664bf40540b52014d98089349cfed0 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Sat, 4 Apr 2020 10:47:42 +0200
Subject: [PATCH] Fix typo.

---
 opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/opam b/opam
index 82c94d9b..a7596e47 100644
--- a/opam
+++ b/opam
@@ -9,7 +9,7 @@ dev-repo: "git+https://gitlab.mpi-sws.org/iris/lambda-rust.git"
 
 synopsis: "LambdaRust Coq formalization"
 description: """
-A formal model of a Rust core langauge and type system, a logical relation for
+A formal model of a Rust core language and type system, a logical relation for
 the type system, and safety proof for some Rust libraries.
 """
 
-- 
GitLab