From 0a7c5fe35f4be2ea5c834b586fb5e947bd952377 Mon Sep 17 00:00:00 2001
From: Damien Doligez <damien.doligez@inria.fr>
Date: Tue, 25 Apr 2023 15:25:52 +0100
Subject: New script language for ocamltest (#12185)

New test script language, all tests translated automatically (see `tools/translate-all-tests`).
---
 testsuite/tests/typing-gadts/pr7160.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'testsuite/tests/typing-gadts/pr7160.ml')

diff --git a/testsuite/tests/typing-gadts/pr7160.ml b/testsuite/tests/typing-gadts/pr7160.ml
index 5a613052b8..b5584cefdb 100644
--- a/testsuite/tests/typing-gadts/pr7160.ml
+++ b/testsuite/tests/typing-gadts/pr7160.ml
@@ -1,5 +1,5 @@
 (* TEST
-   * expect
+ expect;
 *)
 
 type _ t =
-- 
cgit v1.2.1