Skip to content

Commit ee8c626

Browse files
committed
checkstyle
Former-commit-id: 0aac9439b6b6fa33aed7883535d2d8dab23e9d80 [formerly ab54e174b1651865a9fdf5876740723ee2259818] Former-commit-id: 4d3aea3f82f0df99361e500d2f98bed6fa3591ff
1 parent 113a02f commit ee8c626

4 files changed

Lines changed: 4 additions & 1 deletion

File tree

  • k-distribution/tests/regression/error-messages
    • main-module-not-found
    • module-not-found
    • side-conditions-are-not-allowed-in-macro-rules
Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,3 @@
1+
// Copyright (c) 2015 K Team. All Rights Reserved.
12
module B
23
endmodule
Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
// Copyright (c) 2015 K Team. All Rights Reserved.
12
module A
23
imports B
34
endmodule

k-distribution/tests/regression/error-messages/side-conditions-are-not-allowed-in-macro-rules/b.k

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
// Copyright (c) 2016 K Team. All Rights Reserved.
1+
// Copyright (c) 2015 K Team. All Rights Reserved.
22
require "domains.k"
33

44
module B-SYNTAX
Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1 +1,2 @@
1+
// Copyright (c) 2015 K Team. All Rights Reserved.
12
module X endmodule

0 commit comments

Comments
 (0)