From abd0bdd9518b8ed9e9b0ad0a0c1059760b0ec5ce Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Fri, 19 Oct 2018 16:28:39 -0400 Subject: Automatic merging of style/dynStyle and class/dynClass (closes #64) --- tests/classAndDynClass.ur | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 tests/classAndDynClass.ur (limited to 'tests') diff --git a/tests/classAndDynClass.ur b/tests/classAndDynClass.ur new file mode 100644 index 00000000..ba01962d --- /dev/null +++ b/tests/classAndDynClass.ur @@ -0,0 +1,9 @@ +style style1 +style style2 + +fun main () : transaction page = return +

Text

+ -- cgit v1.2.3